GuillaumeDerval / JavaGrading
Simply grade student assignments made in Java or anything that runs on the JVM (Scala/Kotlin/Jython/...).
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for JavaGrading
- Materials for OPLSS 2021☆11Updated 3 years ago
- A language for symbolic transitions system, inspired by Ivy.☆66Updated 7 months ago
- ☆12Updated 2 weeks ago
- ☆54Updated last year
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- Verimag Polyhedra Library☆17Updated 4 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆16Updated this week
- rules for writing and typesetting☆23Updated 3 years ago
- ☆11Updated this week
- Quantum circuits compiler with staging and continuations☆15Updated this week
- ☆38Updated this week
- Solver for higher-order functional programs, used by Stainless☆88Updated 2 weeks ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆81Updated this week
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆23Updated 4 years ago
- Staged Abstract Interpreters☆65Updated last year
- ☆22Updated 3 years ago
- ☆30Updated 3 months ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.☆104Updated 4 months ago
- DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols☆13Updated 2 years ago
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- ☆24Updated 8 months ago
- Proof assistant based on first-order logic and set theory☆33Updated last month
- Autoreject.org — An automatic review generator☆70Updated 9 months ago
- The first scalable probabilistic exact counter☆26Updated 7 months ago
- Definition of the Viper intermediate verification language.☆79Updated this week
- Benchmark Suite for Interpretable Rule Learning☆10Updated 4 years ago