Brown University PLT

icon indicating a website link http://www.cs.brown.edu/research/plt/

Results 10 repositories owned by Brown University PLT

pyret-lang

1.1k
Stars
107
Forks
Watchers

The Pyret language.

verified publisher icon brownplt

B2T2

44
Stars
9
Forks
Watchers

The Brown Benchmark for Table Types (B2T2)

verified publisher icon brownplt

code.pyret.org

22
Stars
44
Forks
Watchers

Website for serving Pyret to folks.

verified publisher icon brownplt

cs173-python

17
Stars
12
Forks
Watchers

Python framework code for cs173/fall 2012

verified publisher icon brownplt

flapjax

227
Stars
12
Forks
Watchers

functional reactive programming for JavaScript

verified publisher icon brownplt

lambda-py

54
Stars
10
Forks
Watchers

verified publisher icon brownplt

LambdaJS

90
Stars
19
Forks
Watchers

Semantics and tools for JavaScript

verified publisher icon brownplt

LambdaS5

77
Stars
12
Forks
Watchers

Semantics for ES5

verified publisher icon brownplt

ML-LambdaJS

19
Stars
6
Forks
Watchers

JavaScript semantics

verified publisher icon brownplt

strobe

16
Stars
1
Forks
Watchers

The Strobe Type Checker for JavaScript

verified publisher icon brownplt