Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Maximally decentralized cryptocurrency
Haskell 21 1
A Haskell library for calculating with quantum mapping class group representations
Haskell 9
Forked from Saizan/cubical-demo
Agda
Forked from mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
Haskell
Forked from boblauer/Lambda-Challenge
JavaScript
Spacemacs layer for cubicaltt
Emacs Lisp
Seeing something unexpected? Take a look at the GitHub profile guide.