Lists (1)
Sort Name ascending (A-Z)
Stars
An implementation of the facet spec to give wago a system interface.
suppersnowman / metidos
Forked from jtenner/metidosMetidos is a developer workflow system for running and managing AI coding agents across tasks, threads, and recurring jobs. It helps organize agent work with thread metadata, project-bound workspac...
Skills for Real Engineers. Straight from my .agents directory.
AI agent that applies to jobs for you. Any site. Any form.
The most comprehensive authentication framework
Piediff is a MoonBit implementation of Bram Cohen's patience diff algorithm (also provides a basic Myers diff).
Lean 4 formalization of the safety and liveness proofs for the Zug Atomic Broadcast protocol
Keep track of big models in audio domain, including speech, singing, music etc.
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
YC (S26) | Open Computer History | Record your screen continuously locally and provide context to your agents (Claude, Codex, Openclaw, Hermes, Runner...)
javascript library to handle "unicode string" easily and correctly
π Fast, secure, lightweight containers based on WebAssembly
Display PDFs in your React app as easily as if they were images.
Fork of the Gleam compiler providing a Nix backend, compiling Gleam to Nix
CommonMark/Markdown implementation in Gleam, for the BEAM or JS
Flexible, minimal, data-oriented ECS library for Typescript
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
π― A collection of Gleam libraries, projects, and resources
Sharing Valuable Technology & Arbitrage Skill of The Blockchain I have learned.