Pinned Loading

1. Interpreter-zoo Interpreter-zoo Public

   Collection of interpreters

   Rocq Prover 1

2. snt snt Public

   ROPAS Weekly Show&Tell

   Jupyter Notebook 1

3. having-an-effect having-an-effect Public

   Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.

   OCaml 2

4. coalTree coalTree Public

   Coalescer in Bluespec Verilog

   Bluespec