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 4 years ago
• wenkokke / featherweight-generic-go-generator
  Test suite for implementations of Featherweight Generic Go
  ☆34Updated 5 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆138Updated 6 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆64Updated 7 years ago
• nickng / gong
  Gong liveness and channel safety checker
  ☆31Updated 7 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 10 months ago
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆124Updated 2 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆59Updated 2 years ago
• spion / hashtable-latencies
  Latency of a web service that stores a large hashtable, in multiple languages
  ☆44Updated 2 years ago
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 8 years ago
• saschagrunert / performabot
  Continuous performance analysis reports for software projects 🤖
  ☆41Updated 6 years ago
• jtolio / sheepda
  A lambda calculus interpreter. GET IT?
  ☆81Updated 3 years ago
• scvalex / daemons
  Daemons in Haskell made fun and easy
  ☆27Updated last year
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 10 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 5 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆25Updated 10 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• tibbe / hyena
  A Haskell web application server.
  ☆61Updated 14 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆189Updated last year
• kazu-yamamoto / http2
  HTTP/2.0 library including HPACK
  ☆89Updated 2 weeks ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆56Updated 4 months ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago
• grpc / grpc-haskell
  gRPC library binding for Haskell.
  ☆153Updated 7 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago