Dr. sc. Matthew Mirman

Results 5 repositories owned by Dr. sc. Matthew Mirman

caledon

150
Stars
9
Forks
Watchers

higher order dependently typed logic programing

conpig

107
Stars
4
Forks
Watchers

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

ImperativeHaskell

74
Stars
4
Forks
Watchers

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

MentisOculi

221
Stars
16
Forks
Watchers

A raytracer written in PyTorch (raynet?)

rpc-framework

15
Stars
1
Forks
Watchers

Type safe anonymous remote procedures in Haskell