WillSewell / gc-latency-experiment
Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-set-ghc-gc-pick-two/
☆54Updated 8 months ago
Alternatives and similar repositories for gc-latency-experiment:
Users that are interested in gc-latency-experiment are comparing it to the libraries listed below
- ☆166Updated 4 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- An implementation of the Raft consensus protocol☆121Updated 2 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 6 months ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Gong liveness and channel safety checker☆30Updated 7 years ago
- Latency of a web service that stores a large hashtable, in multiple languages☆44Updated 2 years ago
- A Go implementation of the Shen programming language☆58Updated 2 years ago
- A Haskell web application server.☆61Updated 14 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Raft consensus algorithm implementation☆33Updated 5 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- HTTP/2.0 library including HPACK☆88Updated last month
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Daemons in Haskell made fun and easy☆27Updated last year
- Edison: A Library of Efficient Data Structures☆55Updated 2 weeks ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 5 years ago
- a simple Hindley-Milner type system in Go☆63Updated 7 years ago
- A collection of different packages for CAS based data structures.☆108Updated 10 months ago
- Python/C/Go/Rust/Haskell interop examples☆25Updated 8 years ago
- playground for working with succinct data structures☆97Updated 9 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 5 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Haskell client library for exposing prometheus.io metrics.☆84Updated this week
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- Dhall bindings for go☆122Updated 2 years ago
- High level Cassandra bindings for Haskell☆45Updated 9 years ago