WillSewell / gc-latency-experiment

Related projects: ⓘ

• wenkokke / fgg-gen
  Test suite for implementations of Featherweight Generic Go
  ☆34Updated 4 years ago
• github / deli
  ☆166Updated 3 years ago
• spion / hashtable-latencies
  Latency of a web service that stores a large hashtable, in multiple languages
  ☆43Updated last year
• nickng / gong
  Gong liveness and channel safety checker
  ☆30Updated 6 years ago
• chewxy / hm
  a simple Hindley-Milner type system in Go
  ☆59Updated 6 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆122Updated last year
• jBugman / interop
  Python/C/Go/Rust/Haskell interop examples
  ☆25Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆38Updated 11 months ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 5 years ago
• philandstuff / dhall-golang
  Dhall bindings for go
  ☆116Updated last year
• goose-lang / goose
  Goose converts a small subset of Go to Coq
  ☆100Updated last week
• tibbe / hyena
  A Haskell web application server.
  ☆60Updated 13 years ago
• awalterschulze / gominikanren
  a Go implementation of miniKanren, an embedded Domain Specific Language for logic programming.
  ☆37Updated last year
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 7 years ago
• spl / dlist
  Difference lists in Haskell
  ☆65Updated 2 months ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆43Updated 5 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 2 years ago
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆46Updated 4 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆42Updated 3 years ago
• joshsharp / braid
  A functional language with Reason-like syntax that compiles to Go.
  ☆138Updated 5 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 5 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• rrnewton / haskell-lockfree
  A collection of different packages for CAS based data structures.
  ☆106Updated 2 months ago
• istathar / vaultaire
  Data vault for metrics
  ☆59Updated 9 years ago
• vektah / goparsify
  golang parser-combinator library
  ☆71Updated last year
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 9 years ago
• scvalex / daemons
  Daemons in Haskell made fun and easy
  ☆27Updated 11 months ago
• remyoudompheng / hs-language-go
  Haskell module for parsing of Go source code, forked from Hackage
  ☆13Updated 6 years ago
• anttisalonen / cgen
  cgen generates C interfaces from C++ headers
  ☆23Updated 7 years ago
• kazu-yamamoto / http2
  HTTP/2.0 library including HPACK
  ☆83Updated this week