-
-
guanxi Public
Relational programming in Haskell. Mostly developed on twitch.
-
-
-
linear-logic Public
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
-
hyphenation Public
Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files
-
-
-
-
bifunctors Public
Haskell 98 bifunctors, bifoldables and bitraversables
-
linear Public
Low-dimensional linear algebra primitives for Haskell.
-
-
lens Public
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
-
-
kan-extensions Public
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
-
-
-
-
-
-
constraints Public
Tools for programming with ConstraintKinds in GHC
-
bytes Public
Serialization primitives that work with both cereal and binary.
-
structs Public
Exploring how to make a strict imperative universe in the GHC runtime system.
-
tagged Public
phantom types
-
void Public
Provides Data.Void, which is in base since ghc 7.8 or so
-
rcu Public
experimenting with STM-backed read-copy-update in Haskell
-
-
-
hybrid-vectors Public
Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
-
{{ message }}