WebAssembly Design Documents

The Rust package manager

Cross-platform Rust rewrite of the GNU coreutils

Empowering everyone to build reliable and efficient software.

Software Foundations of Pierce et al.

Racket implementation of Cook and Lämmel's partial evaluation tutorial.

Benchmarks for the Scala Chemistry Set

Basic infrastructure for microbenchmarking in Scala

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

Caper: concurrent and parallel extensions to Racket

The Racket repository

Code related to "Modular rollback through control logging"

unixy config files

How hard could it be to replace SBT?

Visualizes benchmarking results using Racket's PLoT library

A small collection of personal shell scripts

Erlang-style binaries/bitstrings for Racket

An SMT solver with an interactive interface so it can be used as an inference engine.

A Scala-style magic function application form

Fast regexp matching in Racket

A library for composable fine-grained concurrency.

Regular Expression Derivatives in Racket

Beautiful concurrency for JavaScript

The Racket repository