Alternatives and similar repositories for hsqoi:

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

• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• klapaucius / vector-hashtables
  ☆35Updated last year
• andorp / IdrisExtSTGCodegen
  ☆25Updated 2 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last month
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆25Updated last month
• klapaucius / fphistoryru
  ☆13Updated 3 weeks ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆43Updated last month
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆25Updated 6 months ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆34Updated 2 years ago
• Bodigrim / quote-quot
  Divide without division
  ☆16Updated 6 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• haskellari / some
  Existential type.
  ☆37Updated 4 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 weeks ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆16Updated 11 months ago
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated 4 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 10 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆94Updated 2 weeks ago
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• faulhornlabs / csip
  ☆21Updated this week
• AndrasKovacs / normalization-bench
  Lambda normalization and conversion checking benchmarks for various implementations
  ☆56Updated 4 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 3 weeks ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 5 months ago
• christian-marie / xxhash
  Haskell implementation of the XXHash algorithm
  ☆16Updated 2 years ago
• aaronallen8455 / auto-split
  GHC plugin for automatic case splitting
  ☆16Updated 2 weeks ago
• MangoIV / cabal-audit
  audit your cabal projects for haskell-specific security-advisories
  ☆27Updated this week
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated 3 months ago
• qnikst / ghc-timings-report
  Experimental tool to build reports on GHC build time for your projects.
  ☆24Updated 2 years ago