0xd34df00d / hsqoiLinks
Haskell implementation of the QOI image format
☆17Updated 2 years ago
Alternatives and similar repositories for hsqoi
Users that are interested in hsqoi are comparing it to the libraries listed below
Sorting:
- Example uses of linear types☆43Updated 5 years ago
- Fast parsing from bytestrings☆170Updated 3 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated last month
- Type-safe WebAssembly eDSL in Haskell☆28Updated last year
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆29Updated 7 months ago
- ☆38Updated last week
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated 2 months ago
- ☆49Updated 3 months ago
- Divide without division☆20Updated 2 months ago
- ☆26Updated 2 years ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated last year
- LLVM code generation in Haskell☆54Updated last year
- 👅 Parse Haskell Language Extensions☆48Updated last month
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 9 months ago
- Normalise GHC.TypeLits.Nat equations☆43Updated last week
- GHC plugin to desugar ! into do-notation☆37Updated 7 months ago
- Pastebin service in haskell☆32Updated 11 months ago
- A tool suite to aid Haskell development using `cabal-install`☆90Updated 4 months ago
- Haskell implementation of the KDL Document Language☆25Updated 2 months ago
- ICFP tutorial☆39Updated 4 years ago
- GHC Whole Program Compiler and External STG IR tooling☆119Updated last week
- Generates a references DB from .hie files☆68Updated 3 months ago
- audit your cabal projects for haskell-specific security-advisories☆27Updated 5 months ago
- Reimplementation of Parsley in Haskell, with improvements☆59Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Existential type.☆37Updated 10 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- GRIN backend for Idris2☆33Updated 3 years ago