There are no reviews yet. Be the first to send feedback to the community and the maintainers!
lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lensad
Automatic Differentiationmachines
Networks of composable stream transducerstrifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sinkguanxi
Relational programming in Haskell. Mostly developed on twitch.quine
haskell, opengl, toy projectlinear
Low-dimensional linear algebra primitives for Haskell.propagators
The Art of the Propagator. See also:coda
A language experiment -- irc.freenode.net ##codafree
free monadshask
Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)discrimination
Fast linear time sorting and discrimination for a large class of data typesbound
Combinators for manipulating locally-nameless generalized de Bruijn termsreflection
Reifies arbitrary Haskell terms into types that can be reflected back into termsalgebra
constructive abstract algebrasuccinct
playground for working with succinct data structuresgl
Complete raw OpenGL bindings for Haskellparsers
Generic parser combinatorslinear-logic
comonad
Haskell 98 comonadstables
Deprecated because ofsemigroupoids
kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functorcontravariant
Haskell 98 contravariant functorsconstraints
Tools for programming with ConstraintKinds in GHCprofunctors
Haskell 98 Profunctorscadenza
every day i'm trufflingcodex
UI experiments for codaapproximate
Approximate discrete values and numbersstructures
A playground for working on advanced data structures in Haskellersatz
A monad for interfacing with external SAT solverssemigroups
Haskell 98 semigroupsbifunctors
Haskell 98 bifunctors, bifoldables and bitraversableseither
the EitherT monad transformerunpacked-containers
Unpacked containers using backpackexceptions
mtl friendly exceptionsstructs
Exploring how to make a strict imperative universe in the GHC runtime system.reducers
Semigroups, specialized containers and a general map/reduce frameworkadjunctions
Simple adjunctionsauth
distributive
Dual Traversablegraphs
a monadic graph libraryzippers
Zippers based on lenses and traversalstagged
phantom typesunboxed
experimenting with unlifted classes via backpackperhaps
A monad, perhaps.rounded
MPFR bindings for Haskellhyphenation
Knuth-Liang Hyphenation for Haskell based on TeX hyphenation filescategories
categories from category-extrastransients
Clojure-style transients for Haskellconcurrent
Yet another concurrent playgroundabelian
Commutative Applicatives and Semigroupshkd
higher-kinded dataspeculation
Safe, programmable, speculative evaluation for Haskellrts
spmd-on-simd stuffplaceholder
todo and unimplemented, robustly implementedpromises
lazy promisesintervals
Interval Arithmeticheaps
Asymptotically optimal Brodal/Okasaki heapsintern
Hash consing for arbitrary Haskell data typeshyperloglog
A constant-memory approximation of set membershipmagpie
an exploration of subtyping-based category theory in scalalca
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessingsparse
sparse matrices in Morton orderindexed
Indexed Functors for GHC 7.6streams
Haskell 2010 stream comonadskeys
keyed functorsbytes
Serialization primitives that work with both cereal and binary.pointed
pointed and copointed datascala-ad
Forward- and Reverse-Mode Automatic Differentiation for Scalavr
nothing to see herename
nominal sets in haskellrope
Fingertrees of Bytestringsjitplusplus
a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assemblyvoid
Provides Data.Void, which is in base since ghc 7.8 or soscheme-monads
minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macrosfractions
lazy continued fractionsfolds
Folds and sequence algebrasconcurrent-supply
A fast globally unique variable supply with a pure APIcategory-extras
category-theoretic goodness for Haskellthc
An experimental "Turbo" Haskell Runtime - Nothing really to see here yetlens-action
Control.Lens.Actionbad
a playground for working with fully static tensors and automatic differentiationhomotopy
rcu
experimenting with STM-backed read-copy-update in Haskellmulticategories
Playing around with multicategories and operadsgc
Poor Richard's Memory Managerscala-attoparsec
A port of Bryan O'Sullivan's attoparsec from Haskell to Scalakanso
just a place to throw some coding experiements while i re-re-re-learn rusthyperfunctions
playing with hyperfunctionssuccinct-binary
Succinct binary serializationhalf
half-precision floating-pointtime-series
Playing with time seriescodebruijn
experiments with pext/pdep and codebruijn syntaxhaskell
An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.keep
playing with resumable computationscompensated
Compensated floating-point arithmeticeq
Leibnizian type equalitynbe-in-java-19
a throwaway implementation of normalization by evaluationbits
Bit twiddling and bitwise serialization primitivesLove Open Source and this site? Check out how you can help us