⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content
@brownplt

Brown University PLT

Popular repositories Loading

  1. pyret-lang pyret-lang Public

    The Pyret language.

    JavaScript 1.1k 122

  2. flapjax flapjax Public archive

    functional reactive programming for JavaScript

    JavaScript 235 13

  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 67 13

  6. lambda-py lambda-py Public

    Racket 59 10

Repositories

Showing 10 of 63 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…