NicolasT / reedsolomon

Related projects ⓘ

Alternatives and complementary repositories for reedsolomon

• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆81Updated 2 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• thsutton / rawr
  Roaring bitmaps in Haskell
  ☆13Updated 6 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆12Updated 6 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated 2 months ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• NicolasT / paxos
  A Haskell library implementing several Paxos-related algorithms
  ☆25Updated 11 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• TravisWhitaker / libglaswegian
  Use GHC's Memory Allocator from C
  ☆10Updated 4 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• nanotech / dhall-rs
  cargo +nightly build
  ☆34Updated 5 years ago
• Arcterus / lejit
  A simple JIT library in Rust
  ☆19Updated 9 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago
• Neuromancer42 / ministgwasm
  A compiler from mini-STG to Wasm (**far from complete**)
  ☆14Updated 7 years ago
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆29Updated last month
• input-output-hk / pvss-haskell
  ☆21Updated 6 years ago
• LeastAuthority / haskell-spake2
  SPAKE2 key exchange protocol for Haskell
  ☆14Updated last year
• GaloisInc / RSA
  Haskell RSA Library
  ☆20Updated 3 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• GaloisInc / hexdump
  A human readable style for binary data.
  ☆11Updated 4 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago
• graydon / z3-rs
  ☆23Updated 6 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• ruuda / transducers
  A transducer library for Rust
  ☆10Updated 8 years ago
• maximedenes / coq-amd64
  ☆22Updated 8 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆94Updated 9 years ago