Pinned Repositories
akariki
レッドストーン関係を拡張します 💥
blog
Hexirp's Blog
depgraphdiv
Divide modules into packages according to the dependecy graph
doctest-driver-gen
Generate driver file for doctest's cabal integration.
github-trends
Scrape GitHub's Trends
googology
googology-in-coq
Googology in Coq
haskell-gist
gistlike repository
hexirp-hakyll
I decided to deeply fork hakyll.
yhseq
YH数列システムの実装
Hexirp's Repositories
Hexirp/doctest-driver-gen
Generate driver file for doctest's cabal integration.
Hexirp/github-trends
Scrape GitHub's Trends
Hexirp/blog
Hexirp's Blog
Hexirp/googology-in-coq
Googology in Coq
Hexirp/googology
Hexirp/haskell-gist
gistlike repository
Hexirp/hexirp-hakyll
I decided to deeply fork hakyll.
Hexirp/yhseq
YH数列システムの実装
Hexirp/analysis-tree
Analyze googological notations by their tree structures.
Hexirp/asterius
A Haskell to WebAssembly compiler
Hexirp/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.
Hexirp/combinatory-type-theory
Hexirp/coq-gist
gistlike repository
Hexirp/dotfiles
Hexirp/elm-test
Write unit and fuzz tests for Elm code.
Hexirp/hakyll
A static website compiler library in Haskell
Hexirp/intheo
Hexirp/Labda
Labda is a programming language and theorem proving assistant.
Hexirp/memo
Hexirp/misskey
🌎 An interplanetary microblogging platform 🚀
Hexirp/Murakuni
Hexirp/mwcite
Lua Modules for Citation in MediaWiki
Hexirp/santa
Hexirp/seityou
Hexirp/sikigamig
Hexirp/stackage
"Stable Hackage": vetted consistent packages from Hackage
Hexirp/Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Hexirp/trinity
Hexirp/yhseq-web
Hexirp/yotsunva-notes