Pinned Loading

1. type-expander type-expander Public

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

   Racket 16 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. 2010-m1s1-compilation 2010-m1s1-compilation Public

   Forked from dumbs/2010-m1s1-compilation

   Projet du cours de compilation

   Common Lisp 1

4. 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

5. xlist xlist Public

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

   Racket 1

6. SearchBar SearchBar Public

   A FreeCAD Mod which adds a search bar to the user inferface. The results include tools, document objects and (still to do) preferences.

   Python 7 9