Pinned Loading

1. lh_tests lh_tests Public

   Haskell

2. simplyeasy simplyeasy Public

   implementation of the LambdaPi paper

   Haskell

3. verified_compiler verified_compiler Public

   verified compiler for lisp like language w/ let-bound values (wip)

   Lean 1

4. camp_opt camp_opt Public

   model of CAMP optimizations in Lean

   Lean

5. cn cn Public

   Forked from rems-project/cn

   CN separation logic refinement type system for C

   OCaml

6. limbo limbo Public

   Forked from tursodatabase/turso

   Limbo is a project to build the next evolution of SQLite.

   Rust