cram test grammar

Visual environment for manipulation the lambda calculus expressions

Crossterm Windows API Abstractions

OCaml library for reading, writing and modifying PDF files

A keyboard-driven, vim-like browser based on Python and Qt.

Starter repository for the landmarks ocaml library.

A TUI for the Jujutsu version control system

Utility to clean up old Nix profile generations and left-over garbage collection roots

Reference implementation of Dragonbox in C++

Software ports for the Haiku operating system.

Lightning-fast and Powerful Code Editor written in Rust

Concurrent Programming with Effect Handlers

A Linux version of the Procmon Sysinternals tool

Wrap a Command, to spawn processes in a group or session or job object etc (successor to command-group)

Compile OCaml to standalone ANSI C file

Hardcaml is an OCaml library for designing hardware.

A simple, fast and user-friendly alternative to 'find'

A HTTP client using HTTP/AF and lwt

Tidy, feature-complete Web framework

A simple OCaml client for Google Services.

Type Safe Money Manipulation Library For OCaml

The kitchen sink with SnapPy, SageMath, Regina, and friends

SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.

🔵🟠 Portal Explorer — web visualization of mind-blowing portals using ray-tracing.

A verified(?) TCP client/server chat application

A project to map out the relations between different equational theories of Magmas.

A community-maintained Python framework for creating mathematical animations.

A Git-compatible VCS that is both simple and powerful

A proof assistant for higher-dimensional type theory