Popular repositories Loading

1. vml vml Public

   Code and proofs for Verse-ML, an equation-style sub-ml language. Part of an undergraduate senior thesis with Norman Ramsey, Milod Kazerounian, and Roger Burtonpatel.

   TeX 5

2. rocq-n-roll rocq-n-roll Public

   The sound of soundness. An interactive music player for Rocq Proofs.

   Rust 5

3. cs106 cs106 Public

   Virtual machines and language translation

   Scheme 3

4. compost compost Public

   Compost, an affine compiler for functional programming with fast memory management

   TeX 1

5. InteractionTrees InteractionTrees Public

   Forked from DeepSpec/InteractionTrees

   A Library for Representing Recursive and Impure Programs in Coq

   Rocq Prover 1

6. dti_demos dti_demos Public

   dti_demos for Northeastern. NOTE: README.md is not a README for this exercise; it is actually a tool WITHIN the demo. Don't edit it.

   Shell