Brown University PLT

@brownplt

Popular repositories Loading

The Pyret language.

JavaScript 1.1k 122
flapjax flapjax Public archive

functional reactive programming for JavaScript

JavaScript 235 13
Semantics and tools for JavaScript

JavaScript 92 18
Semantics for ES5

OCaml 82 13
The Brown Benchmark for Table Types (B2T2)

TypeScript 67 13

Showing 10 of 64 repositories

LTLTutor Public
Misconception-based tutor designed to help people learn Linear Temporal Logic.

brownplt/LTLTutor’s past year of commit activity
stacker Public
A notional machine for the SMoL languages

brownplt/stacker’s past year of commit activity

ReScript
16
0
31 4
Updated Feb 22, 2026
brownplt/pyret-docs’s past year of commit activity
brownplt/pyret.org’s past year of commit activity

Prolog
2 7 19 8
Updated Feb 22, 2026
brownplt/pyret-npm’s past year of commit activity

JavaScript
5
Apache-2.0
3 3 6
Updated Feb 20, 2026
brownplt/pyret-lang’s past year of commit activity
brownplt/code.pyret.org’s past year of commit activity
brownplt/pyret’s past year of commit activity

JavaScript
3 2 2 0
Updated Feb 6, 2026
smol-translator Public
Translate SMoL programs to other programming languages

brownplt/smol-translator’s past year of commit activity

JavaScript
2
MIT
1 7 0
Updated Jan 2, 2026
examplar Public
A Pyret editor for supporting example-first design.

brownplt/examplar’s past year of commit activity

JavaScript
7 6 5 14
Updated Nov 12, 2025

Loading…