Popular repositories Loading

1. pyret-lang pyret-lang Public

   The Pyret language.

   JavaScript 1.1k 116

2. flapjax flapjax Public archive

   functional reactive programming for JavaScript

   JavaScript 235 12

3. LambdaJS LambdaJS Public archive

   Semantics and tools for JavaScript

   JavaScript 92 18

4. LambdaS5 LambdaS5 Public

   Semantics for ES5

   OCaml 82 13

5. B2T2 B2T2 Public

   The Brown Benchmark for Table Types (B2T2)

   TypeScript 64 12

6. lambda-py lambda-py Public

   Racket 58 10