Giter VIP home page Giter VIP logo

Comments (6)

jasonhemann avatar jasonhemann commented on June 28, 2024

@shriram @wilbowma : Any objections to an MIT license?

@dbp Just FYI: https://pkgs.racket-lang.org/package/khoury-gradescope, https://github.com/northeastern-khoury/gradescope-racket/.

from gradescope-racket.

wilbowma avatar wilbowma commented on June 28, 2024

No objection to MIT license.

FWIW, some of these design decisions don't work in my context. I'm using this package (or my fork of it) in a 4th year course, and students need to submit multiple files, so I can't use a system that searches for files with the right extension.

I'm also using it in a compilers course, and we rely on particular version of external binaries such as nasm and ld, and on the OS, binary format, etc, which are related to the underlying image, so I really need the ability to test to the image.

Maybe I'm an outlier and I can continue to maintain my fork (https://github.com/cpsc411/cpsc411-gradescope), but I'll be less and less able to contribute upstream.

from gradescope-racket.

dbp avatar dbp commented on June 28, 2024

@wilbowma The former isn't too big of a deal (as I said, having multiple define-var forms should be straightforward).

To the latter -- to some extent, the docker infrastructure always has to be able to be built (it's what Gradescope is going to do), so perhaps there is a way of separating out the parts that are relevant to that (mostly, the Makefile & conventions?) from code that could go on pkgs.racket-lang.org? Since everyone seems to have their own fork anyway, maybe there are just templates (of common patterns of use) & a library?

(With that said, I'm obviously perfectly happy to have a fork, but would prefer to avoid if possible, hence opening this in the first place).

from gradescope-racket.

wilbowma avatar wilbowma commented on June 28, 2024

To the latter -- to some extent, the docker infrastructure always has to be able to be built (it's what Gradescope is going to do), so perhaps there is a way of separating out the parts that are relevant to that (mostly, the Makefile & conventions?) from code that could go on pkgs.racket-lang.org?

That makes sense to me; something similar to raco pkg new could setup a new template directory?

from gradescope-racket.

shriram avatar shriram commented on June 28, 2024

I'm just fine with an MIT license.

We too have some more complicated uses for our upper-level PL course so I don't want to over-simplify it: I really don't want to fork and maintain that. The more @dbp can make a conservative extension, the better.

from gradescope-racket.

dbp avatar dbp commented on June 28, 2024

Okay -- I'll work on a minimal pull request, with the aim of avoiding forks.

from gradescope-racket.

Related Issues (17)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.