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!☆13Updated 11 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- scylladb jepsen clone☆15Updated 6 months ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Haskell RSA Library☆20Updated 3 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 5 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language☆14Updated 5 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- establish trust in community repositories, cryptographically signed by library authors☆33Updated 2 months ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- A Haskell web application server.☆61Updated 14 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- A trivial HelloWorld example used to demonstrate in which ways components can be composed through Disnix☆12Updated last year
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- Safely trading off consistency for performance.☆12Updated 4 years ago
- A proof assistant.☆12Updated 8 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated 7 months ago
- A parsing combinator library.☆10Updated 8 years ago
- A very fast lightweight distributed logger with a high-precision global time axis☆39Updated 9 years ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 7 years ago
- Cloud Haskell Demonstration☆18Updated 9 years ago
- an example airship app☆14Updated 8 years ago