Alternatives and similar repositories for type-indexed-queues

Users that are interested in type-indexed-queues are comparing it to the libraries listed below

• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• atzeus / type-aligned
  Various type-aligned sequence data structures.
  ☆21Updated 3 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• laserpants / fuzzyset-haskell
  A fuzzy string set implementation in Haskell.
  ☆10Updated last year
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 4 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• jship / tao
  Type-level assertion operators
  ☆16Updated 7 years ago
• ChrisPenner / lens-errors
  Handling errors which occur deep inside lens-chains
  ☆17Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 7 months ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• andrewthad / packed
  Unpinned byte arrays in GHC haskell
  ☆22Updated 6 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• cstrahan / hs-capnp
  This will, one day, be a Haskell implementation of Cap'n Proto.
  ☆11Updated 9 years ago
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 8 years ago
• fpco / sift
  Sift through Haskell code for analysis purposes
  ☆18Updated 7 years ago
• declanoller / haskell-vae
  Learning about Haskell with Variational Autoencoders
  ☆19Updated 5 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆38Updated 2 months ago
• chessai / eigen
  Haskell bindings to the Eigen C++ library
  ☆16Updated last year
• ndmitchell / hexml
  A bad XML parser
  ☆22Updated 11 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 6 years ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated last week
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• haskell-perf / numbers
  Benchmarks for numbers: ints, doubles, bignums, rationals, etc.
  ☆20Updated 8 years ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 6 months ago
• nebuta / d3js-haskell
  Haskell to D3.js binding by deep EDSL approach.
  ☆23Updated 10 years ago
• jwiegley / haskell-to-c
  Sample code to build a C library from a Haskell module, then call it from C
  ☆16Updated 8 years ago