Lists (18)
Stars
CLI tool for configuring and monitoring Claude Code
Convert documentation websites, GitHub repositories, and PDFs into Claude AI skills with automatic conflict detection
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
A pure-Rust implementation of Bulletproofs using Ristretto.
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Storybook is the industry standard workshop for building, documenting, and testing UI components in isolation
A fast, memory-safe web server written in Rust.
Aralez (Արալեզ), Reverse proxy and service mesh built on top of Cloudflare's Pingora
A cross-platform, OpenGL terminal emulator.
Claude Code superpowers: core skills library
Community-editable skills for Claude Code's superpowers plugin
Pocket Flow: 100-line LLM framework. Let Agents build Agents!
🦉 OWL: Optimized Workforce Learning for General Multi-Agent Assistance in Real-World Task Automation
Pocket Flow: Codebase to Tutorial
No fortress, purely open ground. OpenManus is Coming.
🪢 Open source LLM engineering platform: LLM Observability, metrics, evals, prompt management, playground, datasets. Integrates with OpenTelemetry, Langchain, OpenAI SDK, LiteLLM, and more. 🍊YC W23
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
Embeddable, replicated and fault-tolerant SQL engine.
The lightweight, user-friendly, fault-tolerant database built on SQLite.
FUSE-based file system for replicating SQLite databases across a cluster of machines
☁️ Modern & minimalistic load balancer for the Сloud era