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 6 years ago
• phadej / topograph
  Directed Acyclic Graphs
  ☆21Updated 6 months ago
• inanna-malick / mononoke
  Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …
  ☆3Updated 3 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 2 months ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 5 months ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated last month
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆36Updated last year
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 3 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 5 years ago
• blamario / monoid-subclasses
  Subclasses of Monoid with a solid theoretical foundation and practical purposes
  ☆33Updated 4 months ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• chessai / semirings
  semirings and *-semirings of types in base/haskell-platform
  ☆42Updated last year
• ekmett / hkd
  higher-kinded data
  ☆30Updated 2 years ago
• edwinb / IdrisApp
  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms
  ☆22Updated 5 years ago
• input-output-hk / nothunks
  ☆49Updated 3 months ago
• wenkokke / idris-sesh
  Session types in Idris2!
  ☆27Updated 4 years ago
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆54Updated this week
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 5 months ago
• gergoerdi / functional-mos6502-web-performance
  https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
  ☆27Updated 2 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 4 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated this week
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆27Updated last year
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated last month
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last month
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago