Stars
A full featured, fast Command Line Argument Parser for Rust
An AI SKILL that provide design intelligence for building professional UI/UX multiple platforms
Lean 4 programming language and theorem prover
A precise specification for "Rust lite / MIR plus"
An interpreter for Rust's mid-level intermediate representation
Creusot helps you prove your Rust code is correct.
Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
Vulnerability scanner written in Go which uses the data provided by https://osv.dev
π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation
Self-evolving Context Database for AI Agents. Unify Agent Memory, Knowledge RAG and Skills.
Production-grade Rust-native trading engine with deterministic event-driven architecture
Shannon is an AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before they reach production.
A terminal workspace with batteries included
Anthony Fu's curated collection of agent skills.
Low-level unprivileged sandboxing tool used by Flatpak and similar projects
Opensource IDE For Exploring and Testing API's (lightweight alternative to Postman/Insomnia)
Backstage is an open framework for building developer portals
🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…
The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬
Lightpanda: the headless browser designed for AI and automation
An uptime monitoring service that is easy and cheap to run at scale. Create endpoint checks for uptime, latency, and status code. Supports OpsGenie for alerts.