Pinned Repositories
coercible-subtypes
An experimental libray for non-symmetric safe coercion
functor-monad
A Haskell package for monads on Haskell's (capital) Functors
golfing-haskell-exts-judge
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
kitchen-sink-hs
Kitchen sink project to experiment various Haskell code snippets
matchable
Matchable Functors
monad-gen
Exploring Monads in Haskell
polynomial-functor
Polynomial functors (a.k.a. containers) in Haskell
trie-simple
Simple Map-based trie implementation
viercc's Repositories
viercc/polynomial-functor
Polynomial functors (a.k.a. containers) in Haskell
viercc/coercible-subtypes
An experimental libray for non-symmetric safe coercion
viercc/matchable
Matchable Functors
viercc/kitchen-sink-hs
Kitchen sink project to experiment various Haskell code snippets
viercc/trie-simple
Simple Map-based trie implementation
viercc/functor-monad
A Haskell package for monads on Haskell's (capital) Functors
viercc/monad-gen
Exploring Monads in Haskell
viercc/acyclic-dfa
Acyclic deterministic finite automatons to recognize finite strings
viercc/monad-ideals
viercc/relation
Data structure to represent finite binary relation based on containers
viercc/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
viercc/agda-container-plus
Applicative laws, presentation of container applicative
viercc/auto-lift-classes
viercc/base-containers-orphans
Orphan instances of types from containers and classes from base.
viercc/bifunctors-extra
viercc/data-category
Library of categories, with categorical constructions on them
viercc/free
free monads
viercc/functor-combinators
Combine and enhance Functors
viercc/group-theory
The theory of groups
viercc/logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
viercc/polymorphic-state-monad
viercc/polynomial-comonad
Polynomial Comonads
viercc/poor-mans-mixin
viercc/speff
Fast higher-order effect handlers with evidence passing
viercc/split-text-regex
Split lines of texts into multiple files by regex
viercc/stackage
Stable Haskell package sets: vetted consistent packages from Hackage
viercc/subtype-containers
Wrappers around data structures, restricted to contain only a subset of values of an original type
viercc/these
An either-or-both data type, with corresponding hybrid error/writer monad transformer.
viercc/typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
viercc/viercc.github.io
blog