Hiromi Ishii's repositories
computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
equational-reasoning-in-haskell
Agda-style equational reasoning in Haskell
type-natural
Type-level well-kinded natural numbers.
ghc-wasm-earthly
GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
subcategories
Functors on subcategories induced by class constraints
ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
raytracing
"Ray Tracing in One Weekend" in Haskell
cabal-scaffold
Scaffolding Tool for Cabal-based project with Stackage Snapshots
konn.github.io
My GitHub Pages. DO NOT SEND PULL REQUEST as this works perfectly on my environment.
regex-applicative-foldl
A brdige package for foldl and regex-applicative package
soundbooth
A really really simple sound cueing system with (hopefully) web frontend
aeson
A fast Haskell JSON library
cabal-gild
:crown: Format Haskell package descriptions.
discord-uploader
deploy files to Discord, keeping track messages
hls-cabal-monorepo-multihome-recomp-repro
Multiple component HLS won't recompile on cabal change
HsYAML
YAML 1.2 implementation in pure Haskell
leetcode-rs
My LeetCode solution in Rust
shortener
A simple URL shortener backed by Cloudflare Workers, written in Haskell
solovay-model-algd
アルゴドゥーチャンネルで「任意の実数の集合が可測」になるSolovayモデルについて話した時の資料です