Stars
Subtype entailment research: papers, proofs, notes, experiments, and reproducible results.
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
Open-source fantasy village for monitoring Claude Code and Codex across terminals, apps and IDEs. Live activity, context gauges, skills, plugins and subagent families.
AI-powered Thunderbird addon that automatically sorts emails into your custom folders/categories using AI. Fully customizable with your own folder structure and categories. | Join our Discord: http…
Turn your idle shell into a visual playground with this collection of Bash screensavers
An online assembly editor, emulator and debugger for the x86-64 architecture
Elm playground in OCaml to make 2d/3d pictures/animations/games easily, and more ...
Danish ASR and TTS models associated with the CoRal project.
Code execution utilities for Open WebUI & Ollama
The PlantStudio Botanical Illustration Software is a tool for creating 3D plant models (including through breeding them in an evolutionary way).
# A simple variable binding library based on well-scoped indices and environments
OpenType font that disassembles Z80 instructions
Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
eyalroz / printf
Forked from mpaland/printfTiny, fast(ish), self-contained, fully loaded printf, sprinf etc. implementation; particularly useful in embedded systems.
A sharp, readable, vector-y version of Monocraft, the programming font based on Minecraft
Community-maintained repository of free software for the reMarkable tablet.
Collection of reMarkable related apps, utilities and libraries.
Extract text and images from highlighted pdf generated with reMarkable tablet.
ActivityPub-federated video streaming platform using P2P directly in your web browser
🎸 Find chords for any string instrument quicky & easily 🎸