Skip to content
@ocaml-lang

ocaml-lang

Popular repositories Loading

  1. irmin irmin Public

    Forked from mirage/irmin

    Irmin is a distributed database that follows the same design principles as Git

    OCaml

  2. ocaml ocaml Public

    Forked from ocaml/ocaml

    The core OCaml system: compilers, runtime system, base libraries

    OCaml

  3. real-world-ocaml-2end real-world-ocaml-2end Public

    Forked from realworldocaml/book

    V2 of Real World OCaml

    OCaml

  4. dune-tapl dune-tapl Public

    Forked from mspertus/TAPL

    Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

    OCaml

  5. OCaml-Programming OCaml-Programming Public

    Forked from cs3110/textbook

    The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

    OCaml

  6. bisect_ppx bisect_ppx Public

    Forked from aantron/bisect_ppx

    Code coverage for OCaml and ReScript

    OCaml

Repositories

Showing 10 of 57 repositories
  • ocaml-cref Public

    the cross references of OCaml 5.1.0

    ocaml-lang/ocaml-cref’s past year of commit activity
    0 0 0 0 Updated Sep 28, 2024
  • bythos Public Forked from verse-lab/bythos

    Compositional Verification of Composite Byzantine Protocols

    ocaml-lang/bythos’s past year of commit activity
    Coq 0 BSD-2-Clause 1 0 0 Updated Aug 24, 2024
  • writing-a-c-compiler-tests Public Forked from nlsandler/writing-a-c-compiler-tests

    Test cases for Writing a C Compiler

    ocaml-lang/writing-a-c-compiler-tests’s past year of commit activity
    C 0 30 0 0 Updated Jul 19, 2024
  • s2n-bignum Public Forked from awslabs/s2n-bignum
    ocaml-lang/s2n-bignum’s past year of commit activity
    OCaml 0 26 0 0 Updated Jul 16, 2024
  • nqcc2 Public Forked from nlsandler/nqcc2

    Reference implementation for Writing a C Compiler

    ocaml-lang/nqcc2’s past year of commit activity
    OCaml 0 MIT 18 0 0 Updated Jul 8, 2024
  • malfunction Public Forked from stedolan/malfunction

    Malfunctional Programming

    ocaml-lang/malfunction’s past year of commit activity
    OCaml 0 22 0 0 Updated Jul 4, 2024
  • PLP Public Forked from seckindemirbas/PLP

    This is the repository for PLP, An introduction to mathematical proof, book

    ocaml-lang/PLP’s past year of commit activity
    HTML 0 6 0 0 Updated Jun 30, 2024
  • milewski-ctfp-pdf Public Forked from hmemcpy/milewski-ctfp-pdf

    Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

    ocaml-lang/milewski-ctfp-pdf’s past year of commit activity
    TeX 0 606 0 0 Updated Jun 20, 2024
  • camlp5 Public Forked from camlp5/camlp5

    Preprocessor / Pretty Printer for OCaml

    ocaml-lang/camlp5’s past year of commit activity
    OCaml 0 26 0 0 Updated Apr 26, 2024
  • tigerml Public Forked from 3tty0n/tigerml
    ocaml-lang/tigerml’s past year of commit activity
    OCaml 0 1 0 0 Updated Dec 31, 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…