Pinned Loading

1. Lamb Lamb Public

   A small functional programming language with an LLVM backend

   Haskell

2. Rackemon Rackemon Public

   Pokemon game written in Racket

   Racket 1

3. rackverify rackverify Public

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

   Racket

4. racket/racket racket/racket Public

   The Racket repository

   Racket 5.1k 690

5. SMT-Problems SMT-Problems Public

   A set of problems solved using various SMT solvers.

   Python