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 coq/coq

    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 65 repositories
  • ocaml-ctypes Public Forked from yallop/ocaml-ctypes

    Library for binding to C libraries using pure OCaml

    obazl-repository/ocaml-ctypes’s past year of commit activity
    OCaml 0 MIT 102 0 0 Updated Feb 3, 2024
  • ocaml-decimal Public Forked from yawaramin/ocaml-decimal

    Arbitrary-precision floating-point decimals

    obazl-repository/ocaml-decimal’s past year of commit activity
    OCaml 0 4 0 0 Updated Nov 1, 2023
  • ocaml-zlib Public Forked from madroach/ocaml-zlib

    OCaml zlib bindings

    obazl-repository/ocaml-zlib’s past year of commit activity
    OCaml 0 ISC 3 0 0 Updated Oct 12, 2023
  • cmdliner Public Forked from dbuenzli/cmdliner

    Declarative definition of command line interfaces for OCaml

    obazl-repository/cmdliner’s past year of commit activity
    OCaml 0 ISC 56 0 0 Updated Oct 11, 2023
  • opam-repo Public

    Custom opam repo for Bazel experimentation

    obazl-repository/opam-repo’s past year of commit activity
    0 CC0-1.0 0 0 0 Updated Sep 19, 2023
  • ppx_assert Public Forked from janestreet/ppx_assert

    Assert-like extension nodes that raise useful errors on failure

    obazl-repository/ppx_assert’s past year of commit activity
    Starlark 0 MIT 6 0 0 Updated Sep 3, 2023
  • ocaml-csv Public Forked from Chris00/ocaml-csv

    CSV library for OCaml

    obazl-repository/ocaml-csv’s past year of commit activity
    OCaml 0 24 0 0 Updated Aug 30, 2023
  • binsec Public Forked from binsec/binsec

    BINSEC binary-level open-source platform

    obazl-repository/binsec’s past year of commit activity
    OCaml 0 LGPL-2.1 35 0 0 Updated Apr 14, 2023
  • sexplib Public Forked from janestreet/sexplib

    Automated S-expression conversion

    obazl-repository/sexplib’s past year of commit activity
    OCaml 0 MIT 28 0 0 Updated Apr 8, 2023
  • async_kernel Public Forked from janestreet/async_kernel

    Jane Street Capital's asynchronous execution library (core)

    obazl-repository/async_kernel’s past year of commit activity
    OCaml 0 MIT 35 0 0 Updated Mar 23, 2023
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…