Hexirp's repositories
doctest-driver-gen
Generate driver file for doctest's cabal integration.
github-trends
Scrape GitHub's Trends
googology-in-coq
Googology in Coq
haskell-gist
gistlike repository
hexirp-hakyll
I decided to deeply fork hakyll.
analysis-tree
Analyze googological notations by their tree structures.
cantors-attic
Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.
misskey
🌎 An interplanetary microblogging platform 🚀
Language:TypeScriptAGPL-3.0000
Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.