Interactive visualization framework for Runway models of distributed systems
☆187Feb 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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 2 years ago
- Conway's Game of Life implemented in Scala.js☆10Mar 30, 2018Updated 8 years ago
- imaplet revamp with Lwt☆18Aug 9, 2017Updated 8 years ago
- Implementation of full Operational Transform editor in Clojure. Library version: https://github.com/jahfer/othello☆27May 7, 2019Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆15Jan 22, 2017Updated 9 years ago
- Go TCP server framework that inherits battle-tested code from net/http and can be extended through built-in interfaces.☆17Mar 19, 2018Updated 8 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆92Mar 12, 2016Updated 10 years ago
- A framework for formally verifying distributed systems implementations in Coq☆622Jan 27, 2026Updated 3 months ago
- Rehearsal: A Configuration Verification Tool for Puppet☆11Dec 19, 2019Updated 6 years ago
- Source of paper “A critique of the CAP theorem”☆16Dec 14, 2015Updated 10 years ago
- Simple generative fuzzer☆17Oct 18, 2021Updated 4 years ago
- ixgbe driver for Redox based on ixy.rs☆11Jul 30, 2019Updated 6 years ago
- Implementation of the Jump Consistent Hash algorithm in Go.☆154Dec 16, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Power a Spark Stream from anywhere in your Akka Stream Flow☆12Mar 1, 2016Updated 10 years ago
- State Machine Assisted Testing☆81Apr 8, 2020Updated 6 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- Trace is a visualised stack trace platform designed for microservices.☆11Dec 1, 2015Updated 10 years ago
- http stuff☆11May 5, 2015Updated 10 years ago
- Map à la Binary Radix Tree☆19Mar 10, 2022Updated 4 years ago
- Pure Pony Kafka client☆59Apr 2, 2019Updated 7 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 3 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- actordb storage engine☆20Dec 10, 2019Updated 6 years ago
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- 鯰: Programmable fuzzy scheduler for testing distributed systems☆497Aug 24, 2018Updated 7 years ago
- Filesystem qualification tool☆61Nov 23, 2025Updated 5 months ago
- sbt-nocomma reduces commas from your build.sbt.☆13Apr 5, 2026Updated last month
- Dendrite is a Go package that implements distributed hash table (DHT) based on Chord Protocol.☆30Feb 1, 2016Updated 10 years ago
- Automatic license scanning and reports!☆16Feb 28, 2023Updated 3 years ago
- ☆11Sep 15, 2017Updated 8 years ago
- ☆15Sep 10, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 9 years ago
- A pure dataflow aka reactive library for building Clojure or ClojureScript models that run by themselves (like Rube Goldberg Machines). I…☆20Jun 18, 2016Updated 9 years ago
- ☆13Nov 10, 2024Updated last year
- A very simple static web server for the unofficial golang rite of passage.☆30Feb 20, 2016Updated 10 years ago
- A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.☆13Sep 23, 2021Updated 4 years ago
- An implementation of LDFI☆129Nov 4, 2018Updated 7 years ago
- Differential dataflow for mere mortals☆529Apr 14, 2022Updated 4 years ago