62,272 visible repositories in the index
1–8 of 8 · 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.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Schema and generated objects for biolink data model and upper ontology
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
OCaml Bioinformatics Library
OCaml Math Library
A Julia GraphQL client for seamless integration with a server
Numerical Library for OCaml