Alternatives and similar repositories for hsqoi:

Users that are interested in hsqoi are comparing it to the libraries listed below

• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆23Updated 3 weeks ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated 2 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last week
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 7 months ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last month
• klapaucius / vector-hashtables
  ☆33Updated 8 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆89Updated 5 months ago
• kasiaMarek / TyRE
  ☆26Updated 11 months ago
• Bodigrim / quote-quot
  Divide without division
  ☆15Updated 3 months ago
• christian-marie / xxhash
  Haskell implementation of the XXHash algorithm
  ☆16Updated 2 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated last month
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• matthunz / aztecs
  A type-safe and friendly ECS for Haskell
  ☆23Updated this week
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• softwarefactory-project / matrix-client-haskell
  Matrix.org haskell client library
  ☆25Updated 11 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• shapr / kudzu
  coverage driven random testing framework
  ☆23Updated 2 months ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated 3 weeks ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated this week
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆56Updated 2 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆154Updated 2 weeks ago
• yav / dump-core
  ☆45Updated 3 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 8 months ago