An SMT solver frontend for OCaml
Appears on
Quick read
Latest capture 2026-11-03 09:41
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.
Any model. Any hardware. Zero compromise. Built with @ziglang / @openxla / MLIR / @bazelbuild
OCaml Math Library
ShangMi (SM) cipher suites for Go (Go语言商用密码软件)
Context sensitive completion for OCaml in Vim and Emacs
A simple multi-format pretty-printer for Menhir.
Learn how LLMs work by building one in Zig -- from tensors to text generation.
