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
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Safe, programmable, speculative evaluation for Haskell☆30Updated 6 years ago
- More strongly typed variant of the ixset Haskell package☆23Updated 2 months ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Talk on generic parallel scan☆14Updated 7 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 9 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated 8 months ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last month
- Transactional cache with configurable persistence☆48Updated last year
- A constant-memory approximation of set membership☆24Updated 4 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Haskell library for efficiently building up buffers☆26Updated 2 months ago
- ☆17Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- ☆18Updated 10 months ago
- a logic-based trust-management system☆19Updated 12 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- An append only list in a compact region☆25Updated 6 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- A fast, cache-efficient, concurrent bloom filter in Haskell☆19Updated 6 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆13Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago