Hexirp's repositories

doctest-driver-gen

Generate driver file for doctest's cabal integration.

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:2Issues:9

github-trends

Scrape GitHub's Trends

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:2Issues:5

blog

Hexirp's Blog

Language:CoqLicense:NOASSERTIONStargazers:3Issues:3Issues:4
Language:HaskellStargazers:1Issues:2Issues:0

googology-in-coq

Googology in Coq

Language:CoqStargazers:1Issues:2Issues:0

haskell-gist

gistlike repository

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

hexirp-hakyll

I decided to deeply fork hakyll.

Language:HaskellLicense:Apache-2.0Stargazers:1Issues:2Issues:95

yhseq

YH数列システムの実装

Language:HaskellLicense:Apache-2.0Stargazers:1Issues:2Issues:1

analysis-tree

Analyze googological notations by their tree structures.

Language:ElmLicense:Apache-2.0Stargazers:0Issues:2Issues:0

asterius

A Haskell to WebAssembly compiler

Language:HaskellStargazers:0Issues:1Issues:0

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.

Language:HTMLStargazers:0Issues:1Issues:0
Language:CoqLicense:Apache-2.0Stargazers:0Issues:0Issues:0

coq-gist

gistlike repository

Language:CoqLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:Vim scriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

elm-test

Write unit and fuzz tests for Elm code.

Language:ElmLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hakyll

A static website compiler library in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0

mwcite

Lua Modules for Citation in MediaWiki

Language:LuaLicense:MITStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

scaqula

Coqlike formalization of ZFC set theory in Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:CoqStargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileLicense:MITStargazers:0Issues:2Issues:0

Symmetric-Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0