NicolasT / reedsolomonLinks
Reed-Solomon Erasure Coding in Haskell
☆23Updated 8 years ago
Alternatives and similar repositories for reedsolomon
Users that are interested in reedsolomon are comparing it to the libraries listed below
Sorting:
- Buildsome: The awesome build system☆54Updated 3 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- Roaring bitmaps in Haskell☆13Updated 7 years ago
- ☆23Updated 13 years ago
- A DSL for describing and implementing communication protocols☆84Updated 10 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Software transactional memory system developed at Wyatt Technology☆29Updated 6 years ago
- cargo +nightly build☆34Updated 6 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Gidl: an Interface Description Language☆10Updated 8 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- A small DFA for under 16 states☆53Updated 7 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- Support for static values☆22Updated last year
- A Haskell library implementing the Noise protocol.☆102Updated 10 months ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 5 years ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 12 years ago
- A DSL for generating GR(1) problems☆12Updated 4 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆39Updated 3 months ago
- Clafer is a lightweight modeling language☆47Updated 9 months ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆38Updated 6 years ago
- playground for working with succinct data structures☆97Updated 10 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 14 years ago
- Abstract binding tree code generator☆37Updated 9 years ago
- ☆21Updated 7 years ago
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆33Updated 5 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago