Lists (2)
Starred repositories
Create a 130GB Nix ️store in GitHub runners ❄️ Multi-partition BTRFS RAID-0 for /nix 💪 Brutally purges unnecessary software 🪓 Dynamically grows the Nix store 📈
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
An open source personal productivity platform built on Markdown, turbo charged with the scripting power of Lua
Bypass Paywalls Clean for Chrome (no Google Analytics, lot of updates/bug-fixes and custom sites)
Mattermost is an open source platform for secure collaboration across the entire software development lifecycle..
Nix tooling for the seL4 microkernel & ecosystem
Shannon Lite is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities bef…
A command-line app for downloading Apple Music songs, music videos and post videos.
Typ2Anki is a tool that converts Typst documents into Anki flashcards.
Vim notebook cell bindings for JupyterLab
Providing reproducible HTTP/HTTPS responders to builds that just can not live without
A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.
Benchmarking Goal-Oriented Software Engineering
Linux virtual machines, with a focus on running containers
Let's write an OS which can run on RISC-V in Rust from scratch!
Create your own programming language with Rust
Distributed reliable key-value store for the most critical data of a distributed system
Rust port of tensor4all tensor network ecosystem with C-API
(Mirror) A Nix library for creating reproducible Julia builds and experiments via precompilation.
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.
The simplest, fastest repository for training/finetuning medium-sized GPTs.