Pinned Loading

1. type-expander type-expander Public

   Type expanders (i.e. type-level functions) for Typed/Racket

   Racket 17 3

2. scribble-math scribble-math Public

   Forked from soegaard/bracket

   Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation

   JavaScript 17 5

3. phc-adt phc-adt Public

   Algebraic Datatypes for Typed/Racket, with some special features useful for writing compilers

   Racket 2 2

4. 2010-m1s1-compilation 2010-m1s1-compilation Public

   Forked from dumbs/2010-m1s1-compilation

   Projet du cours de compilation

   Common Lisp 1

5. delay-pure delay-pure Public

   Non-cached promises for Typed/Racket, like delay/name, but safe because only pure functions are allowed. Only a subset of Racket's functions is allowed.

   Racket 1 1

6. xlist xlist Public

   Fancy lists, to be used as a type or match pattern.

   Racket 1 1