Sign in
← Back to search
github Not archived

formal-land/rocq-of-ocaml

Formal verification for OCaml, with Rocq

1 awesome list

Quick read

Stars
279
Forks
22
Open issues
17
Commits
1,245

Activity and growth

Latest capture 2026-11-03 09:41

Stars · last 7 days
0 0.0%
Commits · last 7 days
0 0.0%
Stars since tracking
0
Stored snapshots
1

Compare the starting count and capture dates, not just the percentage. How to read GitHub star growth. Missing history is not zero growth.

Classification

Topics

#compiler #formal-verification #ocaml #rocq

Technology stack

Express React

Metadata

Language
OCaml
License
MIT
Default branch
master
Created
2013-10-31
First commit
2013-10-31
Last pushed
2026-05-18
GitHub updated
2026-11-01
Last synced
2026-11-03 09:41
Stack scanned
2026-11-03 09:41
Archived
No

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.

Sign in to like formal-land/rocq-of-ocaml
Compare this repository README Open website View on GitHub

AI development signals

0 paths

Agent instructions and tool configuration found in this repository.

No config files detected.

Growth history

Tracked growth

1 observed capture since 2026-11-03. Observed captures are shown by default.

Stars from first capture 0

Chart data

Observed captures only

Time horizon

All tracked data

Custom date range

Stars history

Observed snapshots

Commits history

Observed snapshots

Similar repositories

Nearest indexed repositories by embedding similarity.

rocq-prover/rocq

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.

5,656 stars
OCaml 1 awesome list

roc-lang/roc

A fast, friendly, functional language.

6,183 stars
Zig 1 awesome list

rleonid/oml

OCaml Math Library

120 stars
OCaml 2 awesome lists

roc-lang/basic-cli

A basic Command-Line Interface platform

123 stars
Rust 1 awesome list

Anonyfox/chatoyant

OCaml-first LLM SDK with a zero-dependency npm package: OpenAI, Anthropic, xAI, Meta, OpenRouter and local models; typed chat, tools, structured outputs, streaming, cost tracking.

4 stars
OCaml 1 awesome list