Stars
The core OCaml system: compilers, runtime system, base libraries
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
Intermediate Memory Model (IMM) and compilation correctness proofs for it
Simple dense bitmap index in Go with binary operators
Effects-based direct-style IO for multicore OCaml
A Python package for probabilistic state space modeling with JAX
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Serialization library built for speed and memory efficiency
The JavaScript / Wasm runtime that powers Cloudflare Workers
A simple "Hello World" application written in C
A Linux-capable RISC-V multicore for and by the world
Official Rapier plugin for the Bevy game engine.
An implementation of Joshua Yanovski's Ghost Cell paper.
An HTTP/2 implementation written in pure OCaml
a Rust library implementing safe, lightweight context switches, without relying on kernel services
Medium weight threads - preemptive thread pools for Lwt
A Scalable, User-Friendly Source Control System.
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more