ocaml-lang Goto Github PK

alcotest

A lightweight and colourful test framework

bisect_ppx

Code coverage for OCaml and ReScript

camlp5

Preprocessor / Pretty Printer for OCaml

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 development of machine-checked proofs.

coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

coq-tactician

A Seamless, Interactive Tactic Learner and Prover for Coq

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

dune

A composable build system for OCaml.

dune-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

eopl

Essentials of Programming Languages, with OCaml implementations & Coq proofs

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

hardcaml

Hardcaml is an OCaml library for designing hardware.

hydra-battles

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

irmin

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

landmarks

A Simple Profiling Library for OCaml

liquidsoap

Audio and video streaming language

lockfree

Lock-free data structures for multicore OCaml

math-comp

Mathematical Components

mdx

Execute code blocks inside your documentation

min-caml

moved from https://sourceforge.net/p/min-caml/code/

mpctt

Modeling and Proving in Computational Type Theory

nomos

This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.

ocaml

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

ocaml-editor

An OCaml editor, top level, and learning place for iOS, iPadOS and macOS

ocaml-interval

An interval library for OCaml

ocaml-jupyter

An OCaml kernel for Jupyter (IPython) notebook

ocaml-programming

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

ocamlformat

Auto-formatter for OCaml code

opam

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

pku-dppl.github.io