mmirman/lethargic-python
Non-strict, finite thunk pool lazyness for python.
Developer Profile
mmirman
Discovered public repositories for mmirman in the GitHub catalog.
mmirman/octocat-3d
I wanted an octocat toy but couldn't find one. So I made one. Sorta.
mmirman/mops
Monads and Sums in python
mmirman/lisp
My elisp repository
mmirman/conpig
A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets
mmirman/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
mmirman/caledon
higher order dependently typed logic programing
mmirman/order
ordered logic thesis work
mmirman/cmu-skillswap-2012
A two node guess the number game, where there shall be NO PEEKING.
mmirman/rpc-framework
Type safe anonymous remote procedures in Haskell
mmirman/xmonad-config
my config for xmonad
mmirman/class-lambda
Dependently typed logic programming in meta-haskell!
mmirman/korma-private
Public repository.
mmirman/useful-combinators
Just a bunch of useful combinators
mmirman/regular-manifold-containers
A library for infinite and cyclic data structures
mmirman/ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
mmirman/haskogeneous
A web framework a bit like GWT but for Haskell
mmirman/Korma
A functional logical programming language