thsutton / rawr
Roaring bitmaps in Haskell
☆13Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for rawr
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- "Programs that explain their effects" talk material☆17Updated 6 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- ☆23Updated 7 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 5 years ago
- Quiver stream processing library☆15Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- A concurrent mutable ring-buffer☆12Updated last month
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- van Laarhoven lenses for Idris☆20Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- ☆18Updated 10 months ago
- ☆18Updated 2 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆28Updated 9 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Updated 6 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Updated 5 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Updated 3 years ago