Alternatives and similar repositories for gc-latency-experiment

Users that are interested in gc-latency-experiment are comparing it to the libraries listed below

• github / deli
  ☆167Updated 5 years ago
• wenkokke / featherweight-generic-go-generator
  Test suite for implementations of Featherweight Generic Go
  ☆35Updated 5 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆139Updated 6 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆65Updated 7 years ago
• spion / hashtable-latencies
  Latency of a web service that stores a large hashtable, in multiple languages
  ☆44Updated 2 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 8 years ago
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆123Updated 2 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆57Updated 3 weeks ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 3 years ago
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 8 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆114Updated 11 years ago
• tibbe / hyena
  A Haskell web application server.
  ☆61Updated 15 years ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆61Updated 2 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• vektah / goparsify
  golang parser-combinator library
  ☆78Updated 3 years ago
• istathar / vaultaire
  Data vault for metrics
  ☆58Updated 10 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆44Updated last year
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 6 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated 2 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• honza / redish
  A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.
  ☆139Updated 7 years ago
• JakeWheat / simple-sql-parser
  SQL parser in Haskell
  ☆86Updated last year
• kazu-yamamoto / http2
  HTTP/2.0 library including HPACK
  ☆91Updated 3 weeks ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 10 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 4 years ago