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/linear-logic
ekmett/contravariant
Haskell 98 contravariant functors
ekmett/codex
UI experiments for coda
ekmett/unboxed
experimenting with unlifted classes via backpack
ekmett/transients
Clojure-style transients for Haskell
ekmett/heaps
Asymptotically optimal Brodal/Okasaki heaps
ekmett/intervals
Interval Arithmetic
ekmett/lca
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
ekmett/streams
Haskell 2010 stream comonads
ekmett/void
Provides Data.Void, which is in base since ghc 7.8 or so
ekmett/folds
Folds and sequence algebras
ekmett/lens-action
Control.Lens.Action
ekmett/bits
Bit twiddling and bitwise serialization primitives
ekmett/gc
Poor Richard's Memory Manager
ekmett/hyperfunctions
playing with hyperfunctions
ekmett/kanso
just a place to throw some coding experiements while i re-re-re-learn rust
ekmett/eq
Leibnizian type equality
ekmett/nbe-in-java-19
a throwaway implementation of normalization by evaluation
ekmett/rust-lens
this is not a working lens library
ekmett/nats
Haskell 98 Natural Numbers
ekmett/unique
fast unique variables
ekmett/wl-pprint-terminfo
A color pretty printer with terminfo support
ekmett/tagged-transformer
Haskell 98 monad transformer adding a phantom type argument
ekmett/auth-rs
authenticated data structures in rust
ekmett/rust
ekmett/fish
stupid test project
ekmett/bitvector_simd
Bitvector implementation with Packed SIMD 2
ekmett/manifold
Manifold Markets: A market for every question
ekmett/miden
STARK-based virtual machine
ekmett/SmartThingsPublic
SmartThings open-source DeviceTypeHandlers and SmartApps code