Popular repositories Loading

1. exercisegenerator exercisegenerator Public

   Forked from cryingshadow/exercisegenerator

   Java 2

2. caesar caesar Public

   Forked from moves-rwth/caesar

   Deductive verification infrastructure for probabilistic programs

   Rust

3. SootUp SootUp Public

   Forked from soot-oss/SootUp

   A new version of Soot with a completely overhauled architecture

   Java

4. libtest-mimic libtest-mimic Public

   Forked from LukasKalbertodt/libtest-mimic

   A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`

   Rust

5. stanc3 stanc3 Public

   Forked from stan-dev/stanc3

   The Stan transpiler (from Stan to C++ and beyond).

   OCaml