Scylla/Cassandra driver written in OCaml

The core OCaml system: compilers, runtime system, base libraries

Petrol's an OCaml SQL API made to go FAST.

A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code

Staged metaprogramming in stock OCaml

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

Unikraft port of the lwip network stack

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.

Ltac2 tutorial

Compiler from OCaml to Javascript.

Ropes ("heavyweight strings") for OCaml

An HTTP/2 implementation written in pure OCaml

rust stackful coroutine library

a Rust library implementing safe, lightweight context switches, without relying on kernel services

Rayon: A data parallelism library for Rust

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

This library has moved to https://github.com/googleapis/google-cloud-python/tree/main/packages/google-cloud-bigquery

Setup scripts and files needed to compile CoreMark on RISC-V