Popular repositories

1. pyret-lang pyret-lang Public

   The Pyret language.

   JavaScript 1.1k 105

2. flapjax flapjax Public archive

   functional reactive programming for JavaScript

   JavaScript 232 12

3. LambdaJS LambdaJS Public archive

   Semantics and tools for JavaScript

   JavaScript 91 19

4. LambdaS5 LambdaS5 Public

   Semantics for ES5

   OCaml 79 12

5. B2T2 B2T2 Public

   The Brown Benchmark for Table Types (B2T2)

   TypeScript 59 11

6. lambda-py lambda-py Public

   Racket 58 10