Hexirp's repositories
Labda
Labda is a programming language and theorem proving assistant.
googology-in-coq
Googology in Coq
doctest-driver-gen
Generate driver file for doctest's cabal integration.
misskey
🌎 An interplanetary microblogging platform 🚀
stackage
"Stable Hackage": vetted consistent packages from Hackage
Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
coq-gist
gistlike repository
analysis-tree
Analyze googological notations by their tree structures.
elm-test
Write unit and fuzz tests for Elm code.
mwcite
Lua Modules for Citation in MediaWiki
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.
asterius
A Haskell to WebAssembly compiler
hexirp-hakyll
I decided to deeply fork hakyll.
haskell-gist
gistlike repository
hakyll
A static website compiler library in Haskell
github-trends
Scrape GitHub's Trends