Dr. sc. Matthew Mirman (@mmirman)
github

mmirman

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

MentisOculi

A raytracer written in PyTorch (raynet?)
Python
240
star
2

caledon

higher order dependently typed logic programing
Haskell
163
star
3

conpig

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

ImperativeHaskell

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

rpc-framework

Type safe anonymous remote procedures in Haskell
Haskell
15
star
6

haskogeneous

A web framework a bit like GWT but for Haskell
Haskell
6
star
7

Korma

A functional logical programming language
Haskell
5
star
8

regular-manifold-containers

A library for infinite and cyclic data structures
Haskell
5
star
9

lethargic-python

Non-strict, finite thunk pool lazyness for python.
Python
4
star
10

lambda-placeholders

A Haskell library to emulate Scala's placeholder syntax feature.
Haskell
4
star
11

forward-chan

Haskell channels with the forwarding primitive
Haskell
4
star
12

smartai

omg our AI is so smart. Much smarter than your AI
Haskell
3
star
13

class-lambda

Dependently typed logic programming in meta-haskell!
Haskell
3
star
14

mops

Monads and Sums in python
Python
3
star
15

useful-combinators

Just a bunch of useful combinators
Haskell
3
star
16

raskell

Haskell with Ordered logic
Haskell
2
star
17

order

ordered logic thesis work
TeX
2
star
18

lisp

My elisp repository
Emacs Lisp
2
star
19

cmu-skillswap-2012

A two node guess the number game, where there shall be NO PEEKING.
Haskell
2
star
20

xmonad-config

my config for xmonad
Haskell
2
star
21

korma-private

Haskell
1
star