A basic webserver in Roc
Appears on
Quick read
Latest capture 2026-11-03 09:49
Compare the starting count and capture dates, not just the percentage. How to read GitHub star growth. Missing history is not zero growth.
Archive status reflects the last catalog sync, not a maintenance assessment. Check recent releases, issue responses, and fit for your project with the repository shortlisting checklist.
2 paths
Agent instructions and tool configuration found in this repository.
Explore indexed repositories with these instruction or planning files. File detection is not a quality, compatibility, or safety assessment; check the actual instructions upstream.
AGENTS.md, CLAUDE.md, and GEMINI.md searches also match nested paths. Other file searches require the exact repository-root path. To require several files, select them together in the search filters.
1 observed capture since 2026-11-03. Observed captures are shown by default.
Stars from first capture 0
Observed captures only
All tracked data
Observed snapshots
Observed snapshots
Nearest indexed repositories by embedding similarity.
A basic Command-Line Interface platform
A fast, friendly, functional language.
🚀 Apache RocketMQ built in Rust 🦀 — faster, safer, and more memory-efficient. Powering high-performance messaging for the AI era, with AI Agent, MCP, and AI-SRE capabilities.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Open-source Grok Bot alternative. Choose your own model and sandbox.
Formal verification for OCaml, with Rocq
