n-osborne

Nicolas Osborne's repositories

Experimentation about data generators

Language:OCaml2 20

Language:Agda1 20

Language:OCaml1 20

Runtime assertion checking based on Gospel specifications

Language:OCamlMIT1 10

Tree implementations in Haskell

Language:HaskellBSD-3-Clause01 1

A tool-agnostic formal specification language for OCaml.

Language:OCamlMIT010

Language:TeX010

Language:HaskellBSD-3-Clause000

Language:OCamlBSD-2-Clause020

Documentation compiler for OCaml and Reason

Language:OCamlISC000

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

Language:ShellCC0-1.0000

QuickCheck inspired property-based testing for OCaml.

Language:OCamlBSD-2-Clause010

Notes on McBride's Type-Preserving Renaming and Substitution

Language:Makefile000

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

Language:OCamlMIT000

Vim runtime files for OCaml

Language:Vim Script000