Popular repositories Loading

1. datatype datatype Public

   (Somewhat) Algebraic Data Types for Racket

   Racket 34 6

2. stop2015-redex stop2015-redex Public

   PLT Redex model of basic Dependently Typed Racket calculus

   Racket 18 2

3. sst-tutorial sst-tutorial Public

   Racket 16 4

4. lean4-assert-command lean4-assert-command Public

   A simple assertion command for Lean4

   Lean 8 2

5. simple-sst-model simple-sst-model Public

   Simple Semantic Subtyping in Haskell

   Haskell 7 2

6. tr-calc tr-calc Public

   Representations of the core calculi for Typed Racket

   Racket 6 1