Block or report user

Organizations

@plasma-umass

liquid-types

Logically Qualified Data Types - automatically infer refinement types

Rust

lalrpop

forked from nikomatsakis/lalrpop

LR(1) parser generator for Rust

Rust

bitset

forked from willf/bitset

Go package implementing bitsets

Go

siphash

forked from dchest/siphash

Go implementation of SipHash-2-4, a fast short-input PRF created by Jean-Philippe Aumasson and Daniel J. Bernstein.

Go

DoubleTake

forked from plasma-umass/DoubleTake

Evidence-based dynamic analysis: a fast checker for memory errors.

C

emscripten

forked from kripken/emscripten

Emscripten: An LLVM-to-JavaScript Compiler

C

BrowserFS

forked from jvilk/BrowserFS

BrowserFS is an in-browser filesystem that emulates the Node JS filesystem API and supports storing and retrieving files from various backends.

TypeScript

psm2

psm - rewritten in C with a reduced memory footprint

C

cobra

forked from spf13/cobra

A Commander for modern Go CLI interactions

Go

browsix-gopherjs

forked from gopherjs/gopherjs

A compiler from Go to JavaScript for running Go code in a browser

Go

init

forked from plasma-umass/systemgo

Init system in Go, intended to run on Browsix and other Unix-like OS. Part of GSoC 2016 project.

Go

CompCert

forked from AbsInt/CompCert

The CompCert C verified compiler

Coq

libdumballoc

A not-very-smart memory allocator.

C

z3

forked from Z3Prover/z3

The Z3 Theorem Prover

C++

libralloc

malloc/free for C/C++ written in Rust

Rust

liballoc_hoard

use Hoard as rust's allocator

Rust

libsd

forked from sdlabs/libsd

system dynamics simulation in C

C

doppio

forked from plasma-umass/doppio

A JVM in TypeScript.

TypeScript

sd.js

in-browser system dynamics model simulation and display

JavaScript

xml5lib-tests

forked from Ygg01/xml5lib-tests

Test suit for xml5 specification

xml5ever

forked from Ygg01/xml5ever

XML parser based on servo/html5ever library

Rust

glutin

forked from tomaka/glutin

Pure Rust alternative to GLFW

Rust

term.js

forked from chjj/term.js

A terminal written in javascript.

JavaScript

pypyjs

forked from pypyjs/pypyjs

PyPy compiled to JavaScript

JavaScript

compsci631

forked from plasma-umass/compsci631

Support code for Programming Languages (COMPSCI631)

OCaml

Runner

forked from SurveyMan/Runner

Manages jobs, quality control, communication with various backends

Java