A Claude Code plugin that restricts Claude to ONLY use Python code execution. All other tools are blocked, creating a pure computational environment.

Bazel rules for generating Mayhemfiles

QEMU for Rust, and Rust for QEMU

VSCode devcontainers for OCaml

UCI-compatible chess engine in OCaml.

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

Binary Analysis Platform

Hotcaml: an interpreter with watching and reloading

Progress bar library for OCaml

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

🍬 a functional language for building type-safe, scalable, and maintainable applications

OCaml project generator.

An OCaml library providing a C parser and lexer

A library of splittable pseudo-random number generators for OCaml

A Simple Profiling Library for OCaml

Some benchmarks of different languages

Embeddable Lambda Prolog Interpreter

The new home of OMake - docs, downloads, mailing list etc. see:

Old Clowdr versions 1 & 2 from 2020

Links: Linking Theory to Practice for the Web

Code using GADT

Cross-platform asynchronous I/O and system calls

Main branch here, feel free to branch and edit, take a look at issues for updates on things I am planning to work on

OCaml syntax extension for synchronous programming...

An OCaml generic virtual machine for microcontrollers

Design discussions about the OCaml language

oo7, a binary analysis tool to defend against Spectre vulnerabilities

Error-recovering streaming HTML5 and XML parsers