Falcon: A practical log-based analysis tool for distributed systems
☆34Apr 3, 2021Updated 5 years ago
Alternatives and similar repositories for falcon
Users that are interested in falcon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Study of Database Performance Sensitivity to Experiment Settings☆11May 31, 2022Updated 4 years ago
- A tool for simulating an arbitrary connection between two network endpoints☆19May 31, 2019Updated 7 years ago
- Automated data race detection from a distributed trace via SMT constraint solving☆18Jan 4, 2022Updated 4 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 7 years ago
- compatible library for ebpf programs to improve BTF portability☆14Jul 14, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NIFTY is a fault tolerance tool to partial network partitions. In case of partial network partitions, NIFTY preserves cluster connectivit…☆21Jan 7, 2021Updated 5 years ago
- ☆15Jun 6, 2024Updated 2 years ago
- A new take on facet-reflect☆14Updated this week
- FLASH userspace library for chaining co-located AF_XDP network applications☆28Jul 1, 2026Updated 4 months ago
- ☆27Jun 12, 2025Updated last year
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- drawing docker icon☆10Jun 11, 2017Updated 9 years ago
- CRC Tool Kit☆18Oct 5, 2012Updated 14 years ago
- Software SPI slave for the Raspberry Pi☆16Sep 22, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- TLA+ specification for the Raft consensus algorithm☆13Sep 15, 2016Updated 10 years ago
- Awesome Distributed Machine Learning Frameworks☆31Jun 13, 2017Updated 9 years ago
- ☆20Jun 4, 2021Updated 5 years ago
- My dotfiles☆11Feb 24, 2026Updated 8 months ago
- This SDK enables Python developers to develop applications that interact with Arxanchain Digital Wallet☆10Dec 8, 2022Updated 3 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 4 years ago
- ☆13Mar 29, 2022Updated 4 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- Meta repo for Buckaroo package requests ✨☆10Feb 1, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Going through the Life Cycle of Faults in Clouds: Guidelines on Fault Handling (ISSRE'22)☆10Oct 13, 2022Updated 4 years ago
- a mass web screenshot tool for mapping web networks.☆25Apr 16, 2015Updated 11 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- ☆22Feb 16, 2019Updated 7 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated last year
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 5 years ago
- Erlang Kubernetes client☆57Jul 16, 2020Updated 6 years ago
- Generic abstraction for building dataflow computations.☆16Nov 21, 2017Updated 8 years ago
- ☆12Aug 18, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Specifying and Verfying Zab using TLA+☆11Dec 12, 2021Updated 4 years ago
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆37Jul 13, 2020Updated 6 years ago
- Django app for GDPR compliance☆17May 2, 2018Updated 8 years ago
- A repository to host students resolutions of programming contest problems.☆10Mar 29, 2017Updated 9 years ago
- Multimodal verification of Replicated Data Types in Lean☆11Updated this week
- Multi-Paxos for Erlang, based on "Paxos Made Moderately Complex" [PROTOTYPE]☆13Apr 12, 2013Updated 13 years ago
- Compiler Principle, Design, Implementation and Optimization☆12Jul 19, 2015Updated 11 years ago