Pinned Loading

1. tnelson/Forge tnelson/Forge Public

   Forge: A Tool and Language for Teaching Formal Methods

   Racket 94 11

2. Decaf-LLVM Decaf-LLVM Public

   A compiler for Brown's CS126 by Alex Varga and Denizalp Goktas.

   C++ 1

3. ordinal-arithmetic ordinal-arithmetic Public

   Liquid Haskell implementation of ordinal arithmetic

   Haskell

4. alloy-algebra alloy-algebra Public

   Abstract Algebra for the Alloy Analyzer

   Alloy 1

5. 5value 5value Public

   Generating many-valued logics with z3

   Python

6. BesserNote BesserNote Public

   The better better recursive note taker/meta-gui.

   Java