Søren Nørbæk

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

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

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