Pinned Loading

1. thesis thesis Public

   my reed college thesis! the thesis develops functorial semantics a la Lawvere, and ultimately demonstrates a proof by Artin gluing of open normalization for the simply typed lambda calculus.

   TeX 3 1

2. mc-coq mc-coq Public

   LTL semantics and proven-correct bounded model checking in Coq

   Coq 1

3. exit-chess exit-chess Public

   A generic, root-parallel Expert Itertion implementation parametric in your MDP and apprentice of choice.

   C++

4. barnes-the-hutt barnes-the-hutt Public

   Fast 2D n-body simulation with a parallel quad tree construction à la Barnes-Hut.

   Common Lisp 1

5. concolic concolic Public

   Concolic execution for an idealized assembly language.

   Python

6. sifive/StdLibKami sifive/StdLibKami Public

   Standard Library of Kami Modules

   Coq 5 4