Alternatives and similar repositories for triemap-paper

Users that are interested in triemap-paper are comparing it to the libraries listed below

• simonpj / gadts-meet-their-match
  The paper "GADTs meet their match" and related materials
  ☆10Updated 5 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated last year
• ekmett / parsnip
  ☆18Updated 4 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 4 months ago
• well-typed / blockio-uring
  Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
  ☆14Updated 2 weeks ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated last month
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• blamario / monoid-subclasses
  Subclasses of Monoid with a solid theoretical foundation and practical purposes
  ☆33Updated 3 months ago
• dreixel / generic-deriving
  ☆44Updated 3 months ago
• input-output-hk / nothunks
  ☆49Updated 2 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 3 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 weeks ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆17Updated 4 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• frex-project / idris-frex
  ☆47Updated 3 weeks ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 10 months ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• csabahruska / jhc-grin
  GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
  ☆16Updated 6 years ago
• SamuelSchlesinger / summer
  Extensible sums and products for Haskell
  ☆19Updated 2 years ago
• hackage-trustees / hackage-cli
  CLI tool for Hackage
  ☆26Updated 3 weeks ago
• nomeata / cabal-plan-bounds
  Calculate Haskell dependency ranges from multiple build plans
  ☆31Updated last year
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago