Lists (4)
Starred repositories
Visual environment for manipulation the lambda calculus expressions
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.
Utility to clean up old Nix profile generations and left-over garbage collection roots
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)
Hardcaml is an OCaml library for designing hardware.
A simple, fast and user-friendly alternative to 'find'
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
A Visual Studio Code extension for visualising the relative age of lines in source under Git version control. Helps with understanding how code has changed over time while auditing.