soren-n Goto Github PK

.github

azerothcore-daisy

World of Solocraft - Daisy is a tool for making AzerothCore database interactions a lot easier

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/

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.

rowan-presentation

A presentation of the idea of a Language Workbench

space-shooter

2d space shooter prototype for Android

tickle

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

tickle-rs

A generalized and distributed CI system with a web UI written in Rust

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