Pinned Loading

1. invariant-inference invariant-inference Public

   Python

2. ttcmua ttcmua Public

   curry howard lambek correspondence (stlc and cccs are isomorphic)

   TeX

3. lcalc lcalc Public

   implementing type inference

   Haskell

4. ray-net ray-net Public

   ai enhaced ray tracing

   C++ 3 1

5. time-capsule time-capsule Public

   collection of recovered code, unfinished projects, and proofs of concept

   C

6. guiverno guiverno Public

   portfolio

   HTML 1