jmid Goto Github PK

opam-repository

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

opam-source-archives

mirror of precious opam repository packages whose source websites have disappeared

ortac

Runtime assertion checking based on Gospel specifications

pbt-frameworks

An overview of property-based testing functionality

ppxlib

Base library and tools for ppx rewriters

qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

qcheck

QuickCheck inspired property-based testing for OCaml.

qcheck-example

A minimal example of QCheck, ocamlfind, and ocamlbuild

qcheck-fun

Fun examples for exercising QCheck's function generator

qcstm

A simple state-machine framework for OCaml based on QCheck

regexpanalyser

Lattice valued regular expressions and an example analysis

runtime_events_tools

sandmark-nightly-config

Configuration files to run sandmark-nightly

sb5-tec19

Material for SB5-TEC "Distribution and Integration Technologies" @ SDU, fall 2019

sm2-tes19

'Functional Programming and Property-Based Testing' at SDU, Spring 2019

sm2-tes20

'Functional Programming and Property-Based Testing' at SDU, Spring 2020

sm2-tes21

'Functional Programming and Property-Based Testing' at SDU, Spring 2021

stm_ortac

test-repo

v3.ocaml.org-server

Server-side of the next version of the ocaml.org website. See https://github.com/ocaml/v3.ocaml.org for the frontend.

wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

wasm_of_ocaml

xyz-exp

A simple example of ocamllex and menhir

xyz-exp-ast

A simple example of using ocamllex and menhir to build an abstract syntax tree