bidi-higher-rank-poly

Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml

typeset-ocaml

An embedded DSL for defining source code pretty printers implemented in OCaml

minigun-py

A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/

tickle

Command line workflow automation tool which performs task graph scheduling and concurrent task evaluation.