GeezerVison is showing github.com — Brown University PLT
Popular repositories
Loading
The Pyret language.
JavaScript
1.1k
123
functional reactive programming for JavaScript
JavaScript
235
13
Semantics and tools for JavaScript
JavaScript
92
18
Semantics for ES5
OCaml
84
13
The Brown Benchmark for Table Types (B2T2)
TypeScript
71
12
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Arduino
Clojure
Coq
Haskell
HTML
JavaScript
Makefile
OCaml
Prolog
Pyret
Python
Racket
ReScript
Rust
TeX
TypeScript
Sort
Showing 10 of 64 repositories
brownplt/pyret-lang's past year of commit activity
brownplt/code.pyret.org's past year of commit activity
stacker
Public
A notional machine for the SMoL languages
brownplt/stacker's past year of commit activity
ReScript
20
1
24
0
Updated Oct 30, 2026
smol-translator
Public
Translate SMoL programs to other programming languages
brownplt/smol-translator's past year of commit activity
JavaScript
2
MIT
2
7
0
Updated Oct 19, 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 Sep 28, 2026
brownplt/pyret-docs's past year of commit activity
LTLTutor
Public
Misconception-based tutor designed to help people learn Linear Temporal Logic.
brownplt/LTLTutor's past year of commit activity
brownplt/pyret's past year of commit activity
JavaScript
3
3
2
1
Updated Jun 23, 2026
brownplt/pyret.org's past year of commit activity
Prolog
2
7
19
10
Updated Mar 29, 2026
brownplt/pyret-npm's past year of commit activity
JavaScript
5
Apache-2.0
3
3
6
Updated Mar 6, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.