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/
☆55Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for gc-latency-experiment
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- a simple Hindley-Milner type system in Go☆60Updated 6 years ago
- Latency of a web service that stores a large hashtable, in multiple languages☆43Updated last year
- ☆166Updated 3 years ago
- Gong liveness and channel safety checker☆30Updated 6 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 4 years ago
- An implementation of the Raft consensus protocol☆122Updated last year
- Edison: A Library of Efficient Data Structures☆55Updated 11 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 3 weeks ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 5 years ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- Parses and executes Runway models of distributed systems☆50Updated 2 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.☆38Updated last year
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 3 years ago
- golang parser-combinator library☆74Updated 2 years ago
- Port of the lemon parser generator to the Go programming language☆55Updated 3 years ago
- playground for working with succinct data structures☆94Updated 9 years ago
- Verified hash-based AMQ structures in Coq☆121Updated 4 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 5 years ago
- Dive into GHC☆82Updated 7 years ago
- HTTP/2.0 library including HPACK☆85Updated this week
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Easy parametric polymorphism at run time using completely unidiomatic Go.☆197Updated 10 years ago
- JVM implementation in Haskell☆44Updated 2 months ago