LLVM Backend and Native Runtime for Idris2
Nextcloud App to Manage Chores
Self-hosted exercise tracking
Fast Idris2 Doc Browser with Fuzzy Matching
Android Frontend for the Nextcloud App "Chores"
Tiny SAT Solver in Idris 2 using Linear Types
Generate SPICE netlists from Kicad Eeschema files
(read-only) access APFS disks / images from OCaml
Parse Netlists in (NG)SPICE Format
Calculate and visualize electric flux lines around charged bodies
A tiny toy x86 OS with multi tasking
An updated OCaml docset for Dash
Erlang TLS Certificate Expiration Monitor (Prometheus Exporter)
Live-updating versions of classic *nix binaries
Minimal Jupyter notebook showing a workflow using PySpice and Matplotlib