XLS: Accelerated HW Synthesis

A full featured, fast Command Line Argument Parser for Rust

A Modern Embedded SQL Database written in Rust

An AI SKILL that provide design intelligence for building professional UI/UX multiple platforms

Lean 4 programming language and theorem prover

Verified Rust for low-level systems code

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

Application Kernel for Containers

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

Vulnerability scanner written in Go which uses the data provided by https://osv.dev

Generate type-safe code from SQL

π 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 autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before t…

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.

Development at the speed of light