ekmett / intervals

Related projects: ⓘ

• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆27Updated 3 months ago
• nfrisby / invariant-functors
  the 'invariant' Haskell package for invariant functors
  ☆15Updated 6 months ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆15Updated 2 years ago
• glguy / th-abstraction
  Uniform interface to reified data type information via Template Haskell
  ☆20Updated 6 months ago
• haskell-perf / numbers
  Benchmarks for numbers: ints, doubles, bignums, rationals, etc.
  ☆20Updated 7 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 5 years ago
• nikita-volkov / focus
  A general abstraction for manipulating elements of container data structures
  ☆11Updated 11 months ago
• ekmett / hyperfunctions
  playing with hyperfunctions
  ☆15Updated 3 years ago
• ekmett / keys
  keyed functors
  ☆22Updated 2 months ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 3 months ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆20Updated 3 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 5 years ago
• AndrasKovacs / flat-maybe
  Rust-style strict Maybe in Haskell: no space/indirection overhead.
  ☆16Updated 8 months ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 6 years ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆46Updated 11 months ago
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 7 years ago
• danidiaz / foldl-transduce
  ☆8Updated 3 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated 10 months ago
• simonmar / haxlbuild
  An experimental build system based on the Haxl library
  ☆8Updated 5 years ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 11 months ago
• DanielSchuessler / th-expand-syns
  Expands type synonyms in Template Haskell ASTs
  ☆11Updated 5 months ago
• cartazio / monad-ste
  ST with efficient exceptions
  ☆20Updated 7 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆23Updated 7 years ago
• mathandley / RTick
  ☆20Updated this week
• mwotton / judy
  ☆18Updated 2 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• conal / total-map
  Finitely represented /total/ maps
  ☆15Updated 4 years ago
• ndmitchell / hexml
  A bad XML parser
  ☆19Updated 2 weeks ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago