Pinned Loading

1. Lamb Lamb Public

   A small functional programming language with an LLVM backend

   Haskell

2. rackverify rackverify Public

   A unit verification engine written on top of Rosette and Rackunit.

   Racket

3. Poke Poke Public

   Top level repo for the Poke ecosystem

4. SMT-Problems SMT-Problems Public

   A set of problems solved using various SMT solvers.

   Python