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
  ☆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
  ☆64Updated 7 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
• tibbe / hyena
  A Haskell web application server.
  ☆61Updated 15 years ago
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 8 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆48Updated 6 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated last year
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• scvalex / daemons
  Daemons in Haskell made fun and easy
  ☆27Updated 2 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆56Updated 7 months ago
• remyoudompheng / hs-language-go
  Haskell module for parsing of Go source code, forked from Hackage
  ☆13Updated 7 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 11 years ago
• league / qcheck
  Library for automatic unit testing of Standard ML modules
  ☆71Updated 5 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• jozefg / hm
  A small implementation of type inference
  ☆80Updated 10 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 4 years ago
• kazu-yamamoto / http2
  HTTP/2.0 library including HPACK
  ☆90Updated 2 weeks ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆59Updated 3 weeks ago
• haskell-distributed / distributed-static
  Support for static values
  ☆22Updated last year
• istathar / vaultaire
  Data vault for metrics
  ☆58Updated 10 years ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 11 years ago
• uwplse / verdi-raft
  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
  ☆191Updated last year
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• rhu1 / fgg
  Mini prototype of FG/FGG/FGR in Go.
  ☆98Updated 4 years ago