brownplt/pyret-lang-resugarer
A branch of Pyret supporting resugaring. (For Pyret's old Racket implementation.)
Developer Profile
brownplt
Discovered public repositories for brownplt in the GitHub catalog.
brownplt/pyret-editor-backend
A server and client skeleton for interactively compiling Pyret code from a web browser.
brownplt/BlockLang
Visual block syntax for Whalesong
brownplt/ZZZ-captain-teach
Set sail for Learning Island! Deprecated and no longer maintained
brownplt/Resugarer
Lifting Reduction Semantics through Syntactic Sugar
brownplt/TeJaS
A family of type systems for JavaScript
brownplt/lambda-py
Public repository.
brownplt/pyret-lang
The Pyret language.
brownplt/cs173-python
Python framework code for cs173/fall 2012
brownplt/Alloy-Ex
Public repository.
brownplt/jswebtools.org
Public repository.
brownplt/lambdajs-coq
Public repository.
brownplt/flapjax-lang.org
Public repository.
brownplt/ProgressiveTypes
Public repository.
brownplt/piton
Formal models exploring identity and capabilities.
brownplt/DOM-Semantics
Public repository.
brownplt/k3
Academic process collaboration
brownplt/LambdaS5
Semantics for ES5
brownplt/strobe-old
Original Haskell implementation of Strobe
brownplt/Apply
Graduate admissions
brownplt/Resume
Faculty search.
brownplt/ovid
direct-style JavaScript CFA
brownplt/LambdaJS
Semantics and tools for JavaScript
brownplt/javascript-contracts
design-by-contract library for JavaScript
brownplt/webbits-html
Public repository.
brownplt/webbits
An updated webbits is available at https://github.com/jswebtools/language-ecmascript
brownplt/testfest
Public repository.
brownplt/flapjax
functional reactive programming for JavaScript
brownplt/ML-LambdaJS
JavaScript semantics
brownplt/strobe
The Strobe Type Checker for JavaScript