(Murilo's) ROS2 Tutorial

WIki to hold the information about the machine resources available to OCaml.org

A Flash Player emulator written in Rust

Modd is a minimal ML with modes using constraint-based type inference!

Library for declaratively building software-defined modular synthesizers in OCaml

Can I Use? this OCaml feature

A curated list of Multiplayer Game Network Programming Resources

Experimental "docker build" alternative using btrfs/zfs snapshots

The Ott tool for writing definitions of programming languages and calculi

A CI for OCaml projects

A verified Implementation of a mini prolog

The CompCert formally-verified C compiler

OCaml behind the scenes: exceptions

Combustion engine simulator that generates realistic audio.

Algorithms covered in the Bioinformatics Course part of the Cambridge Computer Science Tripos

Hardcaml is an OCaml library for designing hardware.

A toy L4 load balancer running on FPGA

Python interface for Quake assets and protocols

Visualizing the distribution of complex eigenvalues of random matrices.

An LLVM optimisation pass for polytope transformations

Flight computer simulation

🏯 A structure from motion (SfM) pipeline implemented for my final year project (BA Computer Science).

C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

An incremental type checker for a subset of C using DDlog.

MirageOS is a library operating system that constructs unikernels

the blog "Machine Logic"

Dromedary is an experimental subset of OCaml, using constraint-based type inference!

Skeleton project showing how to use an OCaml runtime built for the ESP32