conal / MemoTrie

Related projects ⓘ

Alternatives and complementary repositories for MemoTrie

• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 6 months ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆88Updated 2 years ago
• nikita-volkov / stm-containers
  Containers for STM
  ☆67Updated 6 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• fpco / ghc-prof-flamegraph
  ☆77Updated 2 years ago
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆76Updated last year
• yav / dump-core
  ☆45Updated 2 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• haskell-perf / serialization
  A micro-benchmark that compares some Haskell serialization libraries
  ☆44Updated 5 years ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 11 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• lehins / scheduler
  A work stealing scheduler
  ☆77Updated last year
• int-index / ether
  Monad Transformers and Classes
  ☆78Updated 5 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆68Updated last month
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆30Updated last month
• ekmett / semigroupoids
  ☆74Updated 4 months ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆72Updated 7 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 3 months ago
• thumphries / hgrep
  Search Haskell source code from the command line
  ☆76Updated 4 years ago
• haskell-hvr / base-noprelude
  All of `base` without the `Prelude` module
  ☆44Updated last year