Popular repositories Loading

1. magnolisp magnolisp Public

   Magnolisp, a toy programming language

   Racket 17 2

2. array-grouping-impl-tutorial array-grouping-impl-tutorial Public

   Making a "guide" on how to implement GroupBy in Spidermonkey following TC39 spec

   JavaScript 16 1

3. tc39-minutes-viewer tc39-minutes-viewer Public

   TypeScript 5

4. java-variance java-variance Public

   Java 3

5. jspl jspl Public

   TypeScript 2

6. temporal-rocq temporal-rocq Public

   Formalisation of parts of the TC39 Temporal proposal in Rocq.

   Rocq Prover 2 1