0xd34df00d / hsqoi

Related projects: ⓘ

• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆20Updated 3 weeks ago
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 2 years ago
• klapaucius / vector-hashtables
  ☆33Updated 4 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated 2 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated last year
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated last year
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆32Updated 2 years ago
• andorp / IdrisExtSTGCodegen
  ☆24Updated last year
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆56Updated last month
• gelisam / linear-examples
  Example uses of linear types
  ☆42Updated 4 years ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 3 months ago
• MangoIV / cabal-audit
  audit your cabal projects for haskell-specific security-advisories
  ☆21Updated this week
• softwarefactory-project / matrix-client-haskell
  Matrix.org haskell client library
  ☆24Updated 7 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 4 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated last month
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆57Updated 9 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆64Updated 3 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated last month
• fpco / ghc-prof-flamegraph
  ☆75Updated last year
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆46Updated 4 months ago
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆19Updated 4 months ago
• shapr / kudzu
  coverage driven random testing framework
  ☆20Updated 4 months ago
• christian-marie / xxhash
  Haskell implementation of the XXHash algorithm
  ☆16Updated 2 years ago
• Bodigrim / cabal-add
  Extend Cabal build-depends from the command line
  ☆53Updated 3 weeks ago
• dhallix / nix-derivation
  ☆30Updated 3 years ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated 2 months ago
• bgamari / io-uring
  A simple set of io-uring bindings in Haskell
  ☆28Updated 4 years ago
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆64Updated 2 months ago