Data structures for Idris 2
Libraries and packages for development in idris 2
My combined NixOS system and home-manager configuration
My doom emacs configuration
Model soruce files for the stranger systems collection
Fully FFF 3d printable stackable rotary pill organizer with viewing windows
Rope data structure for Idris 2
Content Defined Chunking in Idris 2
Log structured merge tree based authenticated k/v store for idris
Deduplication and Security
At-rest authenticated encryption wrapper for idris 2
Information repository for asruan
Primitives for building secure, encrypted, authenticate archives and applications on top of them
Compact testing framework for idris 2