Porting NetBSD to rk3588-based Rock 5B
LLVM Backend and Native Runtime for Idris2
Personal fork of https://github.com/idris-lang/Idris2
A tiny embeddable document database for the JVM that supports replicating to/from CouchDB
Fast Idris2 Doc Browser with Fuzzy Matching
Nextcloud App to Manage Chores
Calculate and visualize electric flux lines around charged bodies
Self-hosted exercise tracking
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
A tiny toy x86 OS with multi tasking