Explore @brownplt Open Source projects

Brown University PLT (@brownplt)

brownplt

Stars
1,795
Global Org. Rank 10,286 (Top 4 %)
Registered over 14 years ago
Most used languages

JavaScript
48.0 %

Racket
18.0 %

Haskell
6.0 %

OCaml
4.0 %

Coq 4.0 %

Arduino 2.0 %

Clojure
2.0 %

Pyret 2.0 %

Rust
2.0 %

TeX
2.0 %

Makefile 2.0 %

HTML
2.0 %

Prolog
2.0 %

Python
2.0 %

TypeScript
2.0 %

pyret-lang

The Pyret language.

flapjax

functional reactive programming for JavaScript

LambdaJS

Semantics and tools for JavaScript

LambdaS5

Semantics for ES5

B2T2

The Brown Benchmark for Table Types (B2T2)

lambda-py

code.pyret.org

Website for serving Pyret to folks.

ML-LambdaJS

JavaScript semantics

cs173-python

Python framework code for cs173/fall 2012

strobe

The Strobe Type Checker for JavaScript

Resugarer

Lifting Reduction Semantics through Syntactic Sugar

TeJaS

A family of type systems for JavaScript

webbits

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

pyret-docs

The documentation for Pyret.

scope-graph

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

javascript-contracts

design-by-contract library for JavaScript

examplar

A Pyret editor for supporting example-first design.

admiral-edu

Captain Teach 2.0

insta-model

judgmental-resugaring

ZZZ-captain-teach

Set sail for Learning Island! Deprecated and no longer maintained

hygienic-resugaring

Prototype implementation for "Hygienic Resugaring of Compositional Desugaring", ICFP'15.

LTLTutor

Misconception-based tutor designed to help people learn Linear Temporal Logic.

BlockLang

Visual block syntax for Whalesong

vscode-language-pyret

ovid

direct-style JavaScript CFA

pyret-npm

ProgressiveTypes

pretty-fast-pretty-printer

A simple, linear-time pretty printing library

pyret-lang-resugarer

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

k3

Academic process collaboration

strobe-old

Original Haskell implementation of Strobe

pyret.org

The site for pyret.org

Alloy-Ex

testfest

lambdajs-coq

atom-language-pyret

Pyret language support for Atom

DOM-Semantics

Resume

Faculty search.

webbits-html

anchor

pyret-editor-backend

A server and client skeleton for interactively compiling Pyret code from a web browser.

powder-monkey

Utilities for orchestrating massive automated evaluations of Pyret programs.

iticse-in-flow-2014

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

flapjax-lang.org

piton

Formal models exploring identity and capabilities.

Apply

Graduate admissions

shim

Temporary storage for Particle core shim and tutorial doc

smol-to-others

Translate SMoL programs to other programming languages

chaff-gen-artifacts

Artifacts for Conceptual Mutation Testing

jswebtools.org

s-expression

An S-expression parser written ReScript

smol-translator

Translate SMoL programs to other programming languages