Pinned Repositories
.github
bidi-higher-rank-poly
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
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-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.
typeset-ocaml
An embedded DSL for defining source code pretty printers implemented in 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
soren-n's Repositories
soren-n/bidi-higher-rank-poly
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
soren-n/typeset-ocaml
An embedded DSL for defining source code pretty printers implemented in OCaml
soren-n/minigun-py
A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/
soren-n/tickle
Command line workflow automation tool which performs task graph scheduling and concurrent task evaluation.
soren-n/.github
soren-n/cps-toolbox
A partial OCaml standard library replacement written with continuation passing style in mind
soren-n/gopy
gopy generates a CPython extension module from a go package.
soren-n/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.
soren-n/minigun-rs
A library for property based testing of Python programs
soren-n/opam-repository
Main public package repository for opam, the source package manager of OCaml.
soren-n/typeset-py
An embedded DSL for defining source code pretty printers implemented in Rust, available in Python
soren-n/typeset-rs
An embedded DSL for defining source code pretty printers
soren-n/rowan-presentation
A presentation of the idea of a Language Workbench
soren-n/space-shooter
2d space shooter prototype for Android
soren-n/tickle-rs
A generalized and distributed CI system with a web UI written in Rust