Dr. sc. Matthew Mirman

Results 5 repositories owned by


                                            Dr. sc. Matthew Mirman

150

Stars

Forks

Watchers

higher order dependently typed logic programing

107

Stars

Forks

Watchers

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

Stars

Forks

Watchers

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

221

Stars

Forks

Watchers

A raytracer written in PyTorch (raynet?)

Stars

Forks

Watchers

Type safe anonymous remote procedures in Haskell