Skip to content
Racket 213 27

pyret-lang

The Pyret language.

Updated

Racket 0 0

admiral-edu

Captain Teach 2.0

Updated

OCaml 42 6

LambdaS5

Semantics for ES5

Updated

jswebtools.org

Updated

JavaScript 1 0

flapjax-lang.org

Updated

JavaScript 137 6

flapjax

functional reactive programming for JavaScript

Updated

Racket 4 0

Resugarer

Lifting Reduction Semantics through Syntactic Sugar

Updated

Racket 1 0

pyret-lang-resugarer

A branch of Pyret supporting resugaring.

Updated

JavaScript 5 2

captain-teach

Set sail for Learning Island!

Updated

Racket 29 11

lambda-py

Updated

app-rating-app

An Android app for community ratings of Android app permissions

Updated

JavaScript 0 0

app-rating-chrome-ext

A prototype of the app rating store implemented as a Google Chrome extension

Updated

JavaScript 0 0

pyret-editor-backend

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

Updated

JavaScript 1 0

BlockLang

Visual block syntax for Whalesong

Updated

ProgressiveTypes

Updated

JavaScript 53 5

LambdaJS

Semantics and tools for JavaScript

Updated

OCaml 3 0

TeJaS

A family of type systems for JavaScript

Updated

Clojure 2 0

Alloy-Ex

Updated

Racket 10 7

cs173-python

Python framework code for cs173/fall 2012

Updated

JavaScript 15 1

ML-LambdaJS

JavaScript semantics

Updated

Something went wrong with that request. Please try again.