shimmercat / second-transfer
A library for creating HTTP/2 servers in Haskell.
☆9Updated 7 years ago
Alternatives and similar repositories for second-transfer:
Users that are interested in second-transfer are comparing it to the libraries listed below
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- scylladb jepsen clone☆16Updated 9 months ago
- Haskell RSA Library☆20Updated 3 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- An implementation of asynchronous π-calculus in Go☆7Updated 3 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- Magic Wormhole for Haskell☆11Updated 11 months ago
- Rust wrapper around Solo5 (https://github.com/solo5/solo5) unikernel base layer☆11Updated 6 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Jane Street Capital's standard library overlay☆34Updated 4 months ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 7 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Try Idris☆35Updated 9 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- A RESTful tuple space server☆21Updated last year
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago