5 open source projects by mmirman

A raytracer written in PyTorch (raynet?)

higher order dependently typed logic programing

A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets

Proof that Haskell can look and act like an imperative language.

Type safe anonymous remote procedures in Haskell