Søren Nørbæk's repositories
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/
cps-toolbox
A partial OCaml standard library replacement written with continuation passing style in mind
gopy
gopy generates a CPython extension module from a go package.
hxasync
This library allows you to add "async" and "await" keywords in Python and JavaScript code almost the same way you would do it in the native code.
minigun-rs
A library for property based testing of Python programs
opam-repository
Main public package repository for opam, the source package manager of OCaml.
typeset-py
An embedded DSL for defining source code pretty printers implemented in Rust, available in Python
typeset-rs
An embedded DSL for defining source code pretty printers
rowan-presentation
A presentation of the idea of a Language Workbench
space-shooter
2d space shooter prototype for Android
tickle-rs
A generalized and distributed CI system with a web UI written in Rust