A functional programming language with shell scripting capabilities

A time traveling resource monitor for modern Linux systems

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

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

Java agent that acts as a proxy to the almighty Async Profiler

Collect CPU callstack samples from a windows process

A blazingly fast LSP client for Emacs

Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 and aarch64.

Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua

OCaml bindings to macOS and iOS Cocoa frameworks

Ocaml mode for emacs using treesitter

Libbpf C-bindings for OCaml

A Haskell framework for running concurrent computations on an HPC cluster.

DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.

A Zookeeper backend for Cloud Haskell.

Source code for the book Building a Debugger

Admiran, a pure, lazy, functional language and self-hosting compiler based upon Miranda

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

Code for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.

Materials for a training session on how to use Rust to build on top of seL4, to be delivered at the seL4 Summit 2024.

Proof-of-concept for MirageOS on seL4

Avro library for Elm

Empowering everyone to host fast and efficient Minecraft servers.

Learn Ocaml by reading code examples

Emacs ❤️ Debug Adapter Protocol

An OpenAPI 3 to OCaml client generator.