obazl-repository

Pinned Loading

1. mina mina Public

   Forked from MinaProtocol/mina

   Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.

   OCaml

2. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

3. opam opam Public

   Forked from ocaml/opam

   opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

   OCaml 1

4. js_of_ocaml js_of_ocaml Public

   Forked from ocsigen/js_of_ocaml

   Compiler from OCaml to Javascript.

   OCaml