NicolasT / reedsolomon
Reed-Solomon Erasure Coding in Haskell
☆22Updated 8 years ago
Alternatives and similar repositories for reedsolomon:
Users that are interested in reedsolomon are comparing it to the libraries listed below
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Column-oriented binary format for immutable datasets☆9Updated 4 years ago
- Use GHC's Memory Allocator from C☆10Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Read and write the zebra file format used for blizzard snapshots.☆11Updated 5 years ago
- A thread-safe hash table in Haskell☆15Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- The LVish Haskell library☆80Updated 2 years ago
- ☆20Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- ☆29Updated 9 years ago
- Crit-bit tree (trie) library☆32Updated 10 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Alpine linux with ghc for docker☆19Updated 8 years ago
- ☆11Updated 3 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago