Stars
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
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
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
damiendoligez / opamcheck
Forked from janestreet/opamcheckscripts 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
Easy to use analytics/visualization tool for ledger-cli
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.