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:
- scylladb jepsen clone☆16Updated last year
- A cryptographically verifiable access control and directory system for Linux servers☆54Updated 8 years ago
- RADclock - A feed-forward NTP clock.☆18Updated 12 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- Latency of a web service that stores a large hashtable, in multiple languages☆44Updated 2 years ago
- Haskell RSA Library☆20Updated 4 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated last year
- A very fast lightweight distributed logger with a high-precision global time axis☆38Updated 10 years ago
- Verified vector clocks, with Coq!☆14Updated 11 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Run Unikernels Locally and Natively on OSX and Linux☆66Updated 6 years ago
- A Dockerfile for building the TLA+ tools☆13Updated 6 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- Support for static values☆22Updated 10 months ago
- Non-blocking concurrent hashmap for Haskell☆17Updated 7 years ago
- A library to work with Puppet manifests, test them and eventually replace everything ruby.☆51Updated last year
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Core components for the Scribble Java tools☆56Updated 9 months ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- ☆20Updated 9 years ago
- an example airship app☆14Updated 9 years ago
- Data vault for metrics☆59Updated 10 years ago
- ABANDONED☆49Updated 8 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Updated 6 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- Swarm is aiming at your web☆31Updated 9 years ago