Make Any Website & Tool Your CLI
Lean 4 programming language and theorem prover
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks
Skills shared by Baoyu for improving daily work efficiency with Claude
Tools for BPF-based Linux IO analysis, networking, monitoring, etc.
A collection of modern/faster/saner alternatives to unix commands
The Mac software list and Mac usage tips
Run Typst in JavaScriptWorld
Recognizes and dumps a variety of potentially malicious implants
TypeScript framework for building AI workflows and agents
A curated list of awesome Swift Macros
A community trust management system based on explicit vouches
Low code web framework for real world applications
Autonomous novel writing CLI AI Agent
100+ open-source clones of popular sites like Airbnb, Amazon
Hello, Dear ImGui: unleash your creativity in app development
JNI based binding for Dear ImGui
A general-purpose AI image generation framework that supports HF
A Vue.js 3 UI Library made by Element team
A portable open-source operating system for agents. ~6 ms coldstarts
The web framework for content-driven websites
The Zoo Design Studio app
A distributed single-sign-on framework
CLI, SDK, and IDE plugins for Duel Agents