8000 obazl-repository · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@obazl-repository

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

  4. js_of_ocaml js_of_ocaml Public

    Forked from ocsigen/js_of_ocaml

    Compiler from OCaml to Javascript.

    OCaml

Repositories

Showing 10 of 67 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0