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
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- 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
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- Tool for uploading unikernels into EC2☆76Updated 6 years ago
- RADclock - A feed-forward NTP clock.☆17Updated 12 years ago
- ABANDONED☆50Updated 8 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 12 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆55Updated 10 months ago
- old - now lives in https://github.com/concourse/concourse☆11Updated 3 years ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago
- A simple but extensible implementation of QuickCheck for Python 2.7 and Python 3 that works well with Pytest.☆18Updated 11 years ago
- an example airship app☆14Updated 8 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- A statically typed binary tree in Go without casts or reflection☆19Updated 12 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆16Updated 6 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago