Dr. sc. Matthew Mirman

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.

ai-page-reporter. Report AI slop

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

forward-chan. Haskell channels with the forwarding primitive

mops. Monads and Sums in python

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

useful-combinators. Just a bunch of useful combinators

class-lambda. Dependently typed logic programming in meta-haskell!

Awesome-pytorch-list. A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.

cmu-skillswap-2012. A two node guess the number game, where there shall be NO PEEKING.

raskell. Haskell with Ordered logic

xmonad-config. my config for xmonad

order. ordered logic thesis work

lisp. My elisp repository

ollibot. An implementation of substructural intuitionistic logic focused on forward chaining

mmirman.github.io. My personal jekyll site

yesod-auth-fb. Authentication backend for Yesod using Facebook.

Nice2Predict. Learning framework for program property prediction

Optix-PathTracer. Simple physically based path tracer based on Nvidia's Optix Ray Tracing Engine

SmartNote. AI generated AI note organizer

zurihac-2017-website. JavaScript

mathslax. Slack plugin to render math using MathJax

nnweights. Jupyter Notebook

v80. Proceedings of ICML 2018

korma-private. Haskell

octocat-3d. I wanted an octocat toy but couldn't find one. So I made one. Sorta.

neveragaindottech.github.io. Source files for the neveragain.tech site