NicolasT / reedsolomon
Reed-Solomon Erasure Coding in Haskell
☆22Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for reedsolomon
- A Haskell library implementing several Paxos-related algorithms☆25Updated 11 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Integrating the CAP theorem into distributed language design.☆12Updated 5 years ago
- Column-oriented binary format for immutable datasets☆8Updated 4 years ago
- Use GHC's Memory Allocator from C☆10Updated 4 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Superposition prover☆16Updated last year
- cargo +nightly build☆34Updated 5 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 12 years ago
- type safe, concurrent, pauseless, copying, generational GC. Implementation https://github.com/Avi-D-coder/sundial-gc☆31Updated 4 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Support for static values☆22Updated 2 months ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 11 years ago
- ☆10Updated 2 years ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 9 years ago
- ☆22Updated 8 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated last week
- Formal semantics of LLVM IR in K☆44Updated 6 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆22Updated 3 years ago
- A partial implementation of Protocol Buffers in Idris☆30Updated 7 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 2 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago