Brown University PLT (@brownplt)

Top repositories

1

pyret-lang

The Pyret language.
JavaScript
1,060
star
2

flapjax

functional reactive programming for JavaScript
JavaScript
232
star
3

LambdaJS

Semantics and tools for JavaScript
JavaScript
91
star
4

LambdaS5

Semantics for ES5
OCaml
79
star
5

B2T2

The Brown Benchmark for Table Types (B2T2)
TypeScript
59
star
6

lambda-py

Racket
58
star
7

code.pyret.org

Website for serving Pyret to folks.
JavaScript
24
star
8

ML-LambdaJS

JavaScript semantics
JavaScript
18
star
9

cs173-python

Python framework code for cs173/fall 2012
Racket
17
star
10

strobe

The Strobe Type Checker for JavaScript
JavaScript
15
star
11

Resugarer

Lifting Reduction Semantics through Syntactic Sugar
Racket
13
star
12

TeJaS

A family of type systems for JavaScript
OCaml
12
star
13

webbits

An updated webbits is available at https://github.com/jswebtools/language-ecmascript
JavaScript
10
star
14

pyret-docs

The documentation for Pyret.
Racket
9
star
15

scope-graph

Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety.
Rust
8
star
16

javascript-contracts

design-by-contract library for JavaScript
Haskell
7
star
17

examplar

A Pyret editor for supporting example-first design.
JavaScript
7
star
18

admiral-edu

Captain Teach 2.0
JavaScript
6
star
19

insta-model

TeX
6
star
20

judgmental-resugaring

Racket
5
star
21

ZZZ-captain-teach

Set sail for Learning Island! Deprecated and no longer maintained
JavaScript
5
star
22

hygienic-resugaring

Prototype implementation for "Hygienic Resugaring of Compositional Desugaring", ICFP'15.
Makefile
5
star
23

BlockLang

Visual block syntax for Whalesong
JavaScript
4
star
24

vscode-language-pyret

4
star
25

ovid

direct-style JavaScript CFA
Haskell
4
star
26

pyret-npm

JavaScript
3
star
27

ProgressiveTypes

Coq
3
star
28

pretty-fast-pretty-printer

A simple, linear-time pretty printing library
JavaScript
3
star
29

pyret-lang-resugarer

A branch of Pyret supporting resugaring. (For Pyret's old Racket implementation.)
Racket
3
star
30

k3

Academic process collaboration
JavaScript
2
star
31

strobe-old

Original Haskell implementation of Strobe
Haskell
2
star
32

pyret.org

The site for pyret.org
Prolog
2
star
33

webbits-html

JavaScript
2
star
34

Alloy-Ex

Clojure
2
star
35

testfest

JavaScript
2
star
36

lambdajs-coq

Coq
2
star
37

atom-language-pyret

Pyret language support for Atom
2
star
38

DOM-Semantics

Racket
2
star
39

Resume

Faculty search.
JavaScript
2
star
40

anchor

JavaScript
1
star
41

pyret-editor-backend

A server and client skeleton for interactively compiling Pyret code from a web browser.
JavaScript
1
star
42

powder-monkey

Utilities for orchestrating massive automated evaluations of Pyret programs.
JavaScript
1
star
43

iticse-in-flow-2014

Documents for working group on in-flow peer review at ITiCSE 2014 (http://iticse2014.it.uu.se/workinggroups.php#methodology)
Racket
1
star
44

flapjax-lang.org

JavaScript
1
star
45

piton

Formal models exploring identity and capabilities.
1
star
46

Apply

Graduate admissions
JavaScript
1
star
47

shim

Temporary storage for Particle core shim and tutorial doc
Arduino
1
star
48

smol-to-others

Translate SMoL programs to other programming languages
Racket
1
star
49

chaff-gen-artifacts

Artifacts for Conceptual Mutation Testing
Pyret
1
star
50

jswebtools.org

HTML
1
star
51

LTLTutor

Misconception-based tutor designed to help people learn Linear Temporal Logic.
Python
1
star
52

smol-translator

Translate SMoL programs to other programming languages
JavaScript
1
star