Personal WSGI play ground
Repositories
srid repositories
make Emacs bindings that stick around
An open source payments switch written in Rust to make payments fast, reliable and affordable
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
Idris template for JavaScript projects
Like https://github.com/srid/haskell-template but for Idris 2
Javascript DOM bindings for Idris2
An unofficial Idris2 package repository for Nix
HTML viewer for the suckless ii IRC client
WIP: Immaculate journal and planner atop Markdown notes
Nextgen search & z-index for neuron
A graph database written in rust
Coffee project (no longer active, but see https://srid.ca/coffee)
Invoice Generator using Rib