ruuda
Follow
Lists (4)
Cool
I don’t necessarily use this, but I appreciate that somebody built it.40 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).123 repositories
Useful
Tools that make my life better.59 repositories
Starred repositories
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
An incremental parsing system for programming tools
Red Hat's Open Source Fonts - Red Hat Display and Red Hat Text
pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast …
An example project building a Rust crate targetting wasm32-unknown-unknown with Nix
A static site generator for data apps, dashboards, reports, and more. Observable Framework combines JavaScript on the front-end for interactive graphics with any language on the back-end for data a…
An automated practice system for mastering complex skills
channable / hoff
Forked from ruuda/hoffA gatekeeper for your commits
Utrecht University Advanced Graphics template, 2023-2024 version
Rust tool to collect and aggregate code coverage data for multiple source files
A clean customizable documentation theme for Sphinx
