LLVM Backend and Native Runtime for Idris2
Offline-first shopping list
Personal fork of https://github.com/idris-lang/Idris2
A tiny embeddable document database for the JVM that supports replicating to/from CouchDB
Porting NetBSD to rk3588-based Rock 5B
Offline-first shopping list
Nextcloud App to Manage Chores
Fast Idris2 Doc Browser with Fuzzy Matching
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