Falcon: A practical log-based analysis tool for distributed systems
☆33Apr 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:
- The binaries for SaxonSoc Linux and other configurations☆17Mar 23, 2023Updated 3 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- 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
- Software SPI slave for the Raspberry Pi☆16Sep 22, 2014Updated 11 years ago
- Basic TLA+ Examples☆15Feb 15, 2021Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆20Jun 4, 2021Updated 5 years ago
- Awesome Distributed Machine Learning Frameworks☆31Jun 13, 2017Updated 9 years ago
- Python SDK to access the vulnerability database☆22Sep 5, 2019Updated 6 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated last year
- Beacon is a monitoring tool for HPC centers, and has been deployed on the current No.3 Sunway TaihuLight Supercomputer for over a year. W…☆21Dec 18, 2020Updated 5 years ago
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆34Jul 13, 2020Updated 5 years ago
- Many Threads Operating System☆18Apr 22, 2022Updated 4 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 4 years ago
- The CompCert formally-verified C compiler☆11Jun 7, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Erlang Kubernetes client☆57Jul 16, 2020Updated 5 years ago
- erlqueue is a multiple writer, multiple reader bounded shared memory lock-free queue API for Erlang (through NIF) and C/C++.☆10Sep 14, 2016Updated 9 years ago
- Erlang stdlib extensions.☆11May 19, 2026Updated 3 weeks ago
- Store arbitrary data on Flickr☆272May 28, 2013Updated 13 years ago
- Django app for GDPR compliance☆17May 2, 2018Updated 8 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆34Apr 7, 2026Updated 2 months ago
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- a mass web screenshot tool for mapping web networks.☆25Apr 16, 2015Updated 11 years ago
- a modular micro MVC framework for Java web applications☆90Apr 9, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Meta repo for Buckaroo package requests ✨☆10Feb 1, 2019Updated 7 years ago
- An implementation of the CBOR data encoding format in Erlang.☆14May 4, 2021Updated 5 years ago
- Generic abstraction for building dataflow computations.☆16Nov 21, 2017Updated 8 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Updated this week
- ☆10Nov 26, 2024Updated last year
- A basic log-structured flash datastore☆20Oct 3, 2022Updated 3 years ago
- Erlang toolchain installer☆16Jul 4, 2024Updated last year
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 4 years ago
- A race detection tool for event driven applications.☆19Sep 21, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A graduate seminar on languages and abstractions for distributed programming☆19Jul 16, 2022Updated 3 years ago
- ☆13Apr 10, 2025Updated last year
- HAL: A Library for Homomorphic Authentication☆23Apr 3, 2017Updated 9 years ago
- erl_interface for rust☆11Sep 1, 2021Updated 4 years ago
- A quadtree-like structure of arbitrary arity☆23Jan 10, 2018Updated 8 years ago
- Artifacts for ATC '22 paper "Faster Software Packet Processing on FPGA NICs with eBPF Program Warping"☆17May 20, 2022Updated 4 years ago
- Open-source code for "On the Feasibility of Parser-based Log Compression in Large-Scale Cloud Systems" (USENIX FAST 2021)☆36Nov 11, 2021Updated 4 years ago