Brown University PLT

Pinned Repositories

B2T2
The Brown Benchmark for Table Types (B2T2)
Language:TypeScript62 14 1312
code.pyret.org
Website for serving Pyret to folks.
Language:JavaScript24 16 32145
cs173-python
Python framework code for cs173/fall 2012
Language:Racket16 21 011
flapjax
functional reactive programming for JavaScript
Language:JavaScript231 14 1012
lambda-py
Language:Racket58 17 6510
LambdaJS
Semantics and tools for JavaScript
Language:JavaScript90 20 618
LambdaS5
Semantics for ES5
Language:OCaml81 19 4612
ML-LambdaJS
JavaScript semantics
Language:JavaScript18 10 27
pyret-lang
The Pyret language.
Language:JavaScript1.1k 43 1.4k111
strobe
The Strobe Type Checker for JavaScript
Language:JavaScript15 9 720

Brown University PLT's Repositories

brownplt/pyret-lang
The Pyret language.
Language:JavaScript1.1k 43 1.4k111
brownplt/flapjax
functional reactive programming for JavaScript
Language:JavaScript231 14 1012
brownplt/LambdaJS
Semantics and tools for JavaScript
Language:JavaScript90 20 618
brownplt/B2T2
The Brown Benchmark for Table Types (B2T2)
Language:TypeScript62 14 1312
brownplt/code.pyret.org
Website for serving Pyret to folks.
Language:JavaScript24 16 32145
brownplt/Resugarer
Lifting Reduction Semantics through Syntactic Sugar
Language:Racket13 7 01
brownplt/pyret-docs
The documentation for Pyret.
Language:Racket9 19 4318
brownplt/scope-graph
Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety.
Language:Rust8 9 0
brownplt/examplar
A Pyret editor for supporting example-first design.
Language:JavaScript7 10 125
brownplt/admiral-edu
Captain Teach 2.0
Language:JavaScript6 12 643
brownplt/insta-model
Language:TeX6 13 0
brownplt/judgmental-resugaring
Language:Racket5 4 1
brownplt/LTLTutor
Misconception-based tutor designed to help people learn Linear Temporal Logic.
Language:Python5 6 350
brownplt/ZZZ-captain-teach
Set sail for Learning Island! Deprecated and no longer maintained
Language:JavaScript5 20 301
brownplt/pyret-npm
Language:JavaScript4 9 32
brownplt/vscode-language-pyret
4 10 33
brownplt/pretty-fast-pretty-printer
A simple, linear-time pretty printing library
Language:JavaScript3 11 21
brownplt/atom-language-pyret
Pyret language support for Atom
2 24 11
brownplt/pyret.org
The site for pyret.org
Language:Prolog2 22 64
brownplt/smol-translator
Translate SMoL programs to other programming languages
Language:JavaScript2 11 01
brownplt/anchor
Language:JavaScript1 9 1
brownplt/chaff-gen-artifacts
Artifacts for Conceptual Mutation Testing
Language:Pyret1 12 1
brownplt/flapjax-lang.org
Language:JavaScript1 5 2
brownplt/powder-monkey
Utilities for orchestrating massive automated evaluations of Pyret programs.
Language:JavaScript1 9 02
brownplt/s-expression
An S-expression parser written ReScript
Language:JavaScript1 1 00
brownplt/smol-to-others
Translate SMoL programs to other programming languages
Language:Racket1 11 0
brownplt/smol-translator-app
A web app that translate smol programs
Language:JavaScript1 7 00
brownplt/pyret-codemirror-mode
The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
Language:JavaScript0 20 23
brownplt/cs19-stacker
Small-step interpreter for a subset of 2htdp
Language:Racket2 0
brownplt/pyret-pitometer
Measuring Pyret performance
Language:JavaScript24 01