ruuda
Follow
Lists (4)
Cool
I don’t necessarily use this, but I appreciate that somebody built it.46 repositories
Helpful
Websites or repositories that I learned something from.14 repositories
Interesting
I find this project interesting or fascinating, but I don’t use it (yet).131 repositories
Useful
Tools that make my life better.64 repositories
Starred repositories
A blog on AI, personal development, and living a good life.
Abacus, software voor verkiezingsuitslagen en zetelverdeling
Fast, efficient, and robust memory reclamation for Rust.
Automated photo stiching tool. Lets you import a directory of images and then export the autodetected panoramas.
Commissioner is a variable and static sans typeface.
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A concise grammar of interactive graphics, built on Vega.
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
A modular stack for zkVMs, with a focus on productivity, security and performance.
OpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.
http://bcachefs.org
Server for the ListenBrainz project, including the front-end (javascript/react) code that it serves and all of the data processing components that LB uses.
A modern, high customizable, responsive Jekyll theme for documentation with built-in search.
The Mercury live coding environment running in the browser
