rossberg

Andreas Rossberg's repositories

1ml

1ML prototype interpreter

Language:OCamlApache-2.0267 260

hamlet

SML reference interpreter

Language:Standard ML107 8 4

mixml

MixML prototype interpreter

Language:Standard ML27 40

wasm

WebAssembly reference interpreter

Language:OCaml6 30

js-promise

Promises for JavaScript

Language:JavaScript4 60

module-constraints

Language:Racket1 20

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellCC0-1.0100

portal

Internet Computer Developer Portal

Language:TypeScriptApache-2.0100

sml-definition

SML, The Living Language (aka, Successor ML)

Language:TeX1 30

traceur-soundscript

Traceur with type checking

Language:JavaScriptApache-2.01 20

js-modules

Prototype implementation of ES6 modules

Language:TeX030

agendas

TC39 meeting agendas

020

dummy

Dummy repo

000

ecma262

Status, process, and documents for ECMA262

Language:HTML020

js-types

WebAssembly specification, reference interpreter, and test suite.

Language:WebAssemblyNOASSERTION020

MathJax

Beautiful math in all browsers

Language:JavaScriptApache-2.0020

ocaml

OCaml repository

Language:OCamlNOASSERTION020

pldi2017

020

test262

Official ECMAScript Conformance Test Suite

Language:JavaScriptNOASSERTION020

wasmfx

Language:OCaml010

website

WebAssembly website

Language:CSSApache-2.0020