Dr. sc. Matthew Mirman (mmirman)

mmirman

Geek Repo

Company:Extensional

Location:San Francisco

Home Page:www.mirman.com

Github PK Tool:Github PK Tool

Dr. sc. Matthew Mirman's repositories

MentisOculi

A raytracer written in PyTorch (raynet?)

Language:PythonLicense:Apache-2.0Stargazers:235Issues:18Issues:4

caledon

higher order dependently typed logic programing

Language:HaskellLicense:NOASSERTIONStargazers:162Issues:16Issues:2

conpig

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

Language:PythonLicense:NOASSERTIONStargazers:107Issues:10Issues:1

rpc-framework

Type safe anonymous remote procedures in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:15Issues:4Issues:1

haskogeneous

A web framework a bit like GWT but for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:5Issues:7

forward-chan

Haskell channels with the forwarding primitive

Language:HaskellLicense:Apache-2.0Stargazers:4Issues:3Issues:0

lambda-placeholders

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

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:3Issues:0

lethargic-python

Non-strict, finite thunk pool lazyness for python.

Language:PythonLicense:NOASSERTIONStargazers:4Issues:3Issues:0

mops

Monads and Sums in python

Language:PythonLicense:NOASSERTIONStargazers:3Issues:3Issues:0

smartai

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

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:4Issues:0

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.

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:1

lisp

My elisp repository

Language:Emacs LispStargazers:2Issues:3Issues:0

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

Language:Standard MLStargazers:2Issues:3Issues:0

order

ordered logic thesis work

raskell

Haskell with Ordered logic

Language:HaskellStargazers:2Issues:3Issues:0

xmonad-config

my config for xmonad

Language:HaskellStargazers:2Issues:3Issues:0

mathslax

Slack plugin to render math using MathJax

Language:JavaScriptStargazers:1Issues:3Issues:0

mmirman.github.io

My personal jekyll site

Language:SCSSLicense:MITStargazers:1Issues:3Issues:0

neveragaindottech.github.io

Source files for the neveragain.tech site

Language:HTMLStargazers:1Issues:3Issues:0

Nice2Predict

Learning framework for program property prediction

Language:C++License:Apache-2.0Stargazers:1Issues:3Issues:0
Language:Jupyter NotebookStargazers:1Issues:3Issues:0

octocat-3d

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

Optix-PathTracer

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

Language:CStargazers:1Issues:3Issues:0

v80

Proceedings of ICML 2018

Language:TeXStargazers:1Issues:3Issues:0

yesod-auth-fb

Authentication backend for Yesod using Facebook.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0
Language:JavaScriptStargazers:1Issues:3Issues:0

Buff

Intelligent customer support bot

Language:PythonLicense:GPL-3.0Stargazers:0Issues:1Issues:0

code_of_conduct

CELO CODE OF CONDUCT

Stargazers:0Issues:2Issues:0

supabase

The open source Firebase alternative.

License:Apache-2.0Stargazers:0Issues:0Issues:0