Popular repositories Loading

1. magnolisp magnolisp Public

   Magnolisp, a toy programming language

   Racket 19 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 17 1

3. nav262 nav262 Public

   An IDE to navigate the JavaScript specification.

   JetBrains MPS 9 1

4. tc39-minutes-viewer tc39-minutes-viewer Public

   TypeScript 5

5. temporal-rocq temporal-rocq Public

   Formalisation of parts of the TC39 Temporal proposal in Rocq.

   Rocq Prover 5 1

6. java-variance java-variance Public

   Java 3