A hands-on tutorial on the new parallelism features in OCaml 5

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

OCaml bindings for raylib and raygui

Tracks dependencies for Windows EXE and DLL PE-files (Portable Executable), resembles ldd from libc

Mirror of OS X ABI Mach-O File Format Reference

Mirror of Software Foundations in PDF

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

The Jekyll theme for your personal landing page.

Blogophonic – a Hugo blog theme by Formspree

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Cross Platform Terminal UI toolkit for .NET

scripts to test OCaml compiler changes on the whole OPAM repository

Run Fedora Linux on RISC-V under QEMU inside a docker container

Inspection of internal value representations and the object graph

YouTrack import and utility scripts

Fast native fibers for OCaml

Easy to use analytics/visualization tool for ledger-cli

A RISC-V ELF psABI Document

IMAP mail filtering utility

A streaming parser for the LOGO programming language.

A programming language that runs in Haskell's type system.

Terrain rendering algorithm in less than 20 lines of code

Elbank is a personal finances application for Emacs

A modern editor with a backend written in Rust.

Maintainable configuration files

The Racket repository

OCaml bindings to libclang.

a dlopen-like API for Windows