anmolsahoo25

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

rayon

Rayon: A data parallelism library for Rust

sapling

A Scalable, User-Friendly Source Control System.

workerd

The JavaScript / Wasm runtime that powers Cloudflare Workers

ocaml

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

unikraft

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

hop.nvim

Neovim motions on speed!

may

rust stackful coroutine library

bevy_rapier

Official Rapier plugin for the Bevy game engine.

js_of_ocaml

Compiler from OCaml to Javascript.

python-bigquery

dynamax

State Space Models library in JAX

black-parrot

A Linux-capable RISC-V multicore for and by the world

eio

Effects-based direct-style IO for multicore OCaml

libfringe

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

ghost-cell

An implementation of Joshua Yanovski's Ghost Cell paper.

sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

ocaml-h2

An HTTP/2 implementation written in pure OCaml

bitmap

Simple dense bitmap index in Go with binary operators

ppx_stage

Staged metaprogramming in stock OCaml

faraday

Serialization library built for speed and memory efficiency

petrol

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

ocaml-rope

Ropes ("heavyweight strings") for OCaml

ltac2-tutorial

Ltac2 tutorial

mwt

Medium weight threads - preemptive thread pools for Lwt

Tiger-ocaml-llvm-compiler

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

imm

Intermediate Memory Model (IMM) and compilation correctness proofs for it

app-helloworld

A simple "Hello World" application written in C

lib-lwip

Unikraft port of the lwip network stack

ocaml-scylla

Scylla/Cassandra driver written in OCaml