Lists (2)
Starred repositories
Convert PDF to markdown + JSON quickly with high accuracy
Agentless🐱: an agentless approach to automatically solve software development problems
Batteries for your Pydantic AI agent.
PyTorch native quantization and sparsity for training and inference
Efficient Triton Kernels for LLM Training
26m function call model that runs on incredibly small devices
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 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 before t…
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
an educational compiler intermediate representation