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:
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Updated 6 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- A deployment of mesos via NixOps☆11Updated 10 years ago
- Haskell RSA Library☆20Updated 4 years ago
- HTTP Keyserver Protocol (HKP) handlers☆13Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Docker container for an OCaml + OPAM setup☆24Updated 8 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- Formal semantics of LLVM IR in K☆44Updated 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
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- JSON RPC using the remote monad☆9Updated 7 years ago
- Timing attack resistant type systems☆24Updated 10 years ago
- Manage QEMU VMs that will be provisioned by Mayu. With Onsho you can create CoreOS clusters on a single machine.☆8Updated 8 years ago