Interactive visualization framework for Runway models of distributed systems
☆186Feb 12, 2022Updated 4 years ago
Alternatives and similar repositories for runway-browser
Users that are interested in runway-browser are comparing it to the libraries listed below
Sorting:
- Parses and executes Runway models of distributed systems☆50Feb 12, 2022Updated 4 years ago
- blance - functional algorithm to assign partitions and replicas across distributed nodes☆14Apr 2, 2024Updated last year
- Implementation of full Operational Transform editor in Clojure. Library version: https://github.com/jahfer/othello☆27May 7, 2019Updated 6 years ago
- ☆15Jan 22, 2017Updated 9 years ago
- A Trie data structure that allows for fuzzy string matching☆11May 24, 2015Updated 10 years ago
- ☆19Apr 13, 2017Updated 8 years ago
- Source of paper “A critique of the CAP theorem”☆16Dec 14, 2015Updated 10 years ago
- A very simple static web server for the unofficial golang rite of passage.☆30Feb 20, 2016Updated 10 years ago
- A framework for formally verifying distributed systems implementations in Coq☆619Jan 27, 2026Updated last month
- Simple generative fuzzer☆17Oct 18, 2021Updated 4 years ago
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 9 years ago
- jsonpointer implementation for go☆36Aug 14, 2016Updated 9 years ago
- TLA+ and Alloy specs of database isolation☆21Oct 13, 2015Updated 10 years ago
- A Go library and CLI tool which simplifies calculation of Universal Scalability Law parameters given system measurements.☆30Jan 20, 2022Updated 4 years ago
- Decompose source code into templates and fragments for any language.☆23Aug 29, 2022Updated 3 years ago
- UNMAINTAINED Golang package for instrumenting gRPC servers☆20Feb 8, 2016Updated 10 years ago
- Filesystem qualification tool☆60Nov 23, 2025Updated 3 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- Generates Go-Kit endpoints and decoders for gRPC services.☆19Sep 3, 2016Updated 9 years ago
- ustat - an unified system stats collector tool☆22Feb 5, 2018Updated 8 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Mar 12, 2016Updated 9 years ago
- KingPin is the toolset used at Pinterest for service discovery and application configuration.☆69Nov 16, 2018Updated 7 years ago
- PopCount implementation for Go. Using hardware POPCNT instruction if available it.☆23May 30, 2017Updated 8 years ago
- [Deprecated] A distributed Load Balancer☆627Oct 19, 2018Updated 7 years ago
- A simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- devenv is a utility to define a workspace containing multiple git repositories and the ability to apply operations on all of them at once☆13Jun 9, 2022Updated 3 years ago
- ☆11Aug 17, 2023Updated 2 years ago
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 3 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Mar 16, 2024Updated last year
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Continuous build system used by Mono and Moonlight.☆34Apr 8, 2020Updated 5 years ago
- scala client for heroku doozer☆14Jan 11, 2012Updated 14 years ago
- A Go package which exposes health check results as expvars.☆15Jul 2, 2014Updated 11 years ago
- PKCS#7 Padding for Go☆11Apr 24, 2020Updated 5 years ago
- miscellaneous gevent utilities☆21Apr 20, 2011Updated 14 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 years ago
- ☆10Feb 8, 2016Updated 10 years ago
- is a set of utility styles for React Native + Clojurescript.☆11Feb 20, 2016Updated 10 years ago