47,133 repositories indexed
1–16 of 16 · 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
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
OCaml template engine almost compatible with jinja2
Simple hash algorithms in OCaml
An SMT solver frontend for OCaml
Inline (Unit) Tests for OCaml
An enhanced unification algorithm for Coq
Data structures and algorithms in OCaml
Python bindings for the Coq interactive proof assistant
Library of Raft consensus algorithm implemented in OCaml
date and duration in ocaml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key: