Koji Miyazato's repositories
polynomial-functor
Polynomial functors (a.k.a. containers) in Haskell
coercible-subtypes
An experimental libray for non-symmetric safe coercion
kitchen-sink-hs
Kitchen sink project to experiment various Haskell code snippets
trie-simple
Simple Map-based trie implementation
functor-monad
A Haskell package for monads on Haskell's (capital) Functors
acyclic-dfa
Acyclic deterministic finite automatons to recognize finite strings
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
agda-container-plus
Applicative laws, presentation of container applicative
base-containers-orphans
Orphan instances of types from containers and classes from base.
data-category
Library of categories, with categorical constructions on them
free
free monads
functor-combinators
Combine and enhance Functors
group-theory
The theory of groups
logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
polynomial-comonad
Polynomial Comonads
split-text-regex
Split lines of texts into multiple files by regex
stackage
Stable Haskell package sets: vetted consistent packages from Hackage
streams
Haskell 2010 stream comonads
subtype-containers
Wrappers around data structures, restricted to contain only a subset of values of an original type
these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
viercc.github.io
blog