Pinned Repositories
ad
Automatic Differentiation
coda
A language experiment -- irc.freenode.net ##coda
codex
UI experiments for coda
gl
Complete raw OpenGL bindings for Haskell
guanxi
Relational programming in Haskell. Mostly developed on twitch.
lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
linear
Low-dimensional linear algebra primitives for Haskell.
machines
Networks of composable stream transducers
quine
haskell, opengl, toy project
trifecta
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
ekmett's Repositories
ekmett/lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
ekmett/ad
Automatic Differentiation
ekmett/linear
Low-dimensional linear algebra primitives for Haskell.
ekmett/propagators
The Art of the Propagator. See also:
ekmett/coda
A language experiment -- irc.freenode.net ##coda
ekmett/free
free monads
ekmett/discrimination
Fast linear time sorting and discrimination for a large class of data types
ekmett/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
ekmett/reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms
ekmett/gl
Complete raw OpenGL bindings for Haskell
ekmett/parsers
Generic parser combinators
ekmett/kan-extensions
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
ekmett/semigroupoids
ekmett/constraints
Tools for programming with ConstraintKinds in GHC
ekmett/profunctors
Haskell 98 Profunctors
ekmett/ersatz
A monad for interfacing with external SAT solvers
ekmett/bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
ekmett/either
the EitherT monad transformer
ekmett/exceptions
mtl friendly exceptions
ekmett/structs
Exploring how to make a strict imperative universe in the GHC runtime system.
ekmett/tagged
phantom types
ekmett/placeholder
todo and unimplemented, robustly implemented
ekmett/intern
Hash consing for arbitrary Haskell data types
ekmett/keys
keyed functors
ekmett/half
half-precision floating-point
ekmett/hybrid-vectors
Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
ekmett/monad-ran
Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style
ekmett/arcade
A physics playground
ekmett/libfork
A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines
ekmett/narya
A proof assistant for higher-dimensional type theory