0xd34df00d / hsqoi

Related projects ⓘ

Alternatives and complementary repositories for hsqoi

• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated 2 weeks ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 5 months ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆23Updated 2 months ago
• klapaucius / vector-hashtables
  ☆33Updated 6 months ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated 3 weeks ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 5 months ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 2 years ago
• 0xd34df00d / inline-asm
  Inline Assembly code in ur Haskell!
  ☆41Updated 10 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 3 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• Bodigrim / quote-quot
  Divide without division
  ☆15Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆50Updated 3 weeks ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆44Updated last month
• kasiaMarek / TyRE
  ☆24Updated 10 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated last year
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• Bodigrim / mod
  Modular arithmetic, promoting moduli to the type level
  ☆24Updated 6 months ago
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆149Updated last week
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 6 months ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• haskus / packages
  Haskus packages
  ☆24Updated 3 weeks ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆21Updated last month
• noughtmare / gpc
  Leightweight generalized parser combinators
  ☆17Updated 11 months ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated last month
• ElderEphemera / instance-impl
  A GHC plugin for rust style impl with -XOverloadedRecordDot
  ☆19Updated 3 years ago