n-osborne

generators

Experimentation about data generators

AgdaDataStructures

genexpe

ortac

Runtime assertion checking based on Gospel specifications

alcotest

A lightweight and colourful test framework

gospel

A tool-agnostic formal specification language for OCaml.

ppx_monolith

Ppx deriver for Monolith test framework

dune

A composable build system for OCaml.

gospel-odoc-example

gospel-ortac-release-talk

irmin

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

lockfree

Lock-free data structures for multicore OCaml

lwt-dllist

Mutable doubly-linked list with Lwt iterators

merlin

Context sensitive completion for OCaml in Vim and Emacs

multicoretests

ocaml

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

odoc

Documentation compiler for OCaml and Reason

opam-repository

Main public package repository for opam, the source package manager of OCaml.

optint

Library to provide a fast integer (x64 arch) or allocated int32 (x84 arch)

ounit

pl-zoo

Where I try to capture programming languages by formalizing their semantic.

pprint

A pretty-printing combinator library for OCaml

qcheck

QuickCheck inspired property-based testing for OCaml.

repr

rewriting

tezos-context-hash

Description of how to compute the context hash for Tezos

unification-in-OCaml

varray

Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)

vim-ocaml

Vim runtime files for OCaml

vocal

Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.