Lists (1)
Sort Name ascending (A-Z)
Stars
Skills for Real Engineers. Straight from my .claude 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
Run agents that work based on what you do. 24/7 local screen & mic recording for the superintelligence era
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.
Build AI-native spreadsheets. Univer is a full-stack framework for creating and editing spreadsheets on both web and server. With Univer Platform, Univer Spreadsheets is driven directly through nat…
A language and runtime engine for the creation and operation of MUDs.