Discover @mmirman Open Source projects

Dr. sc. Matthew Mirman (@mmirman)

mmirman

Stars
663
Global Rank 45,050 (Top 2 %)
Followers 168
Following 176
Registered about 13 years ago
Most used languages

Haskell
71.4 %

Python
19.0 %

TeX
4.8 %

Emacs Lisp
4.8 %
Location 🇺🇸 United States
Country Total Rank 12,173
Country Ranking

Haskell
95

Emacs Lisp
1,746

TeX
3,152

Python
3,478

MentisOculi

A raytracer written in PyTorch (raynet?)

caledon

higher order dependently typed logic programing

conpig

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

ImperativeHaskell

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

rpc-framework

Type safe anonymous remote procedures in Haskell

haskogeneous

A web framework a bit like GWT but for Haskell

Korma

A functional logical programming language

regular-manifold-containers

A library for infinite and cyclic data structures

lethargic-python

Non-strict, finite thunk pool lazyness for python.

lambda-placeholders

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

forward-chan

Haskell channels with the forwarding primitive

smartai

omg our AI is so smart. Much smarter than your AI

class-lambda

Dependently typed logic programming in meta-haskell!

mops

Monads and Sums in python

useful-combinators

Just a bunch of useful combinators

raskell

Haskell with Ordered logic

order

ordered logic thesis work

lisp

My elisp repository

cmu-skillswap-2012

A two node guess the number game, where there shall be NO PEEKING.

xmonad-config

my config for xmonad

korma-private