The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

An intel PT trace converter from `perf.data` to Fuchsia trace format.

Wrangling Untrusted File Formats Safely

A safe, easy systems language

Systems language with linear types and capability-based security.

A scrollable-tiling Wayland compositor.

A Simple showcase for the Sea-of-Nodes compiler IR

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

A repl for WebAssembly Components

The Lobster Programming Language

An APL-like programming language

BtrBlocks: Efficient Columnar Compression for Data Lakes (SIGMOD 2023 Paper)

Research WebAssembly Engine

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

Compiler for Swiftlet

Optimizer and compiler/toolchain library for WebAssembly

Radically simple multiplayer / networked WebAssembly

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

Translates WebAssembly modules to portable C

A modern fully featured C compiler.

Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code

The Hylo programming language

zig-sqlite is a small wrapper around sqlite's C API, making it easier to use with Zig.

Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.