47,133 repositories indexed
1–11 of 11 · Most stars
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.
Terraform without the state file bottleneck
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
A fully-modular OCaml style linter
OCaml bindings for OpenGL
Serialization library for OpenFlow
Open Source Social Database
Collect and view OSS cryptocurrency development.