Pinned Repositories
LLM-VM
irresponsible innovation. Try now at https://chat.dev/
diffai
A certifiable defense against adversarial examples by training neural networks to be provably robust
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
haskogeneous
A web framework a bit like GWT but for Haskell
ImperativeHaskell
Proof that Haskell can look and act like an imperative language.
Korma
A functional logical programming language
MentisOculi
A raytracer written in PyTorch (raynet?)
regular-manifold-containers
A library for infinite and cyclic data structures
rpc-framework
Type safe anonymous remote procedures in Haskell
mmirman's Repositories
mmirman/MentisOculi
A raytracer written in PyTorch (raynet?)
mmirman/caledon
higher order dependently typed logic programing
mmirman/conpig
A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets
mmirman/rpc-framework
Type safe anonymous remote procedures in Haskell
mmirman/haskogeneous
A web framework a bit like GWT but for Haskell
mmirman/forward-chan
Haskell channels with the forwarding primitive
mmirman/lambda-placeholders
A Haskell library to emulate Scala's placeholder syntax feature.
mmirman/lethargic-python
Non-strict, finite thunk pool lazyness for python.
mmirman/mops
Monads and Sums in python
mmirman/smartai
omg our AI is so smart. Much smarter than your AI
mmirman/Awesome-pytorch-list
A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.
mmirman/cmu-skillswap-2012
A two node guess the number game, where there shall be NO PEEKING.
mmirman/lisp
My elisp repository
mmirman/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
mmirman/order
ordered logic thesis work
mmirman/raskell
Haskell with Ordered logic
mmirman/xmonad-config
my config for xmonad
mmirman/mathslax
Slack plugin to render math using MathJax
mmirman/mmirman.github.io
My personal jekyll site
mmirman/neveragaindottech.github.io
Source files for the neveragain.tech site
mmirman/Nice2Predict
Learning framework for program property prediction
mmirman/nnweights
mmirman/octocat-3d
I wanted an octocat toy but couldn't find one. So I made one. Sorta.
mmirman/Optix-PathTracer
Simple physically based path tracer based on Nvidia's Optix Ray Tracing Engine
mmirman/v80
Proceedings of ICML 2018
mmirman/yesod-auth-fb
Authentication backend for Yesod using Facebook.
mmirman/zurihac-2017-website
mmirman/Buff
Intelligent customer support bot
mmirman/code_of_conduct
CELO CODE OF CONDUCT
mmirman/supabase
The open source Firebase alternative.