Userspace WireGuard® Implementation in Rust

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

Durin is a library for reading and writing the Dwarf debugging format

A pure OCaml PostgreSQL client library with EIO support

OCaml - Oxidized!

Modern scientific computing for OCaml

Verified Rust for low-level systems code

Search for old versions of Nix packages

μscope 🔬

A very fast linker for Linux

A Rust DHCP server

A pure OCaml PostgreSQL client library

Unison file synchronizer

The Standard ML compiler that produces Lua/JavaScript

Single source file FBX loader

Unison's source code

Software Transactional Memory for OCaml

C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

Code generation tool to generate mathematical libraries

Pure OCaml Git format and protocol

An embedded scheme interpreter in Rust

An OCaml library providing a C parser and lexer

A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

Simple shell like scripting from Haskell

ReasonML Language Plugin for IDEA

The essence of Rust.