shimmercat / second-transferLinks
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
Sorting:
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated last year
- scylladb jepsen clone☆16Updated last year
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- A concurrency framework for the Ivory language☆44Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- Tiny ML interpreter☆16Updated 11 years ago
- Haskell RSA Library☆20Updated 4 years ago
- Magic Wormhole for Haskell☆11Updated last year
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- MRT Parser☆47Updated 6 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Experimental bed to study Linux faults☆26Updated 3 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Program Round-off Error Certifier via Static Analysis☆51Updated 9 months ago
- The Haskell File System: A file system implementation in Haskell☆38Updated 10 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 7 years ago
- Frege Interpreter☆15Updated 5 years ago
- ABANDONED☆49Updated 8 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- A proof assistant.☆12Updated 9 years ago
- A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.☆16Updated 2 years ago