LLVM Backend and Native Runtime for Idris2


Porting NetBSD to rk3588-based Rock 5B


Personal fork of https://github.com/idris-lang/Idris2


A tiny embeddable document database for the JVM that supports replicating to/from CouchDB


Offline-first shopping list


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

1 / 2