LLVM Backend and Native Runtime for Idris2
Personal fork of https://github.com/idris-lang/Idris2
For of https://github.com/nvim-telescope/telescope-bibtex.nvim
Fork of https://github.com/kavon/llvm-statepoint-utils
A tiny embeddable document database for the JVM that supports replicating to/from CouchDB
Offline-first shopping list
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