Agreement in Asynchronous Distributed Systems
☆26May 6, 2013Updated 13 years ago
Alternatives and similar repositories for failure-detectors
Users that are interested in failure-detectors 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 simple library for querying the AST of a Go program☆11Feb 10, 2015Updated 11 years ago
- Package tcpopt implements encoding and decoding of TCP-level socket options☆13Mar 14, 2019Updated 7 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- A distributed social network for serious discussions and funny topiqs :).☆13Nov 20, 2019Updated 6 years ago
- Java Library to include text messages into stack traces☆11Oct 25, 2019Updated 6 years ago
- 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.
- A small web chat demonstration with replikativ.☆14Jun 8, 2017Updated 9 years ago
- Java Agent Library for All Jillegal Frameworks☆15Dec 7, 2015Updated 10 years ago
- Hazelcast on Mesos☆11Jun 21, 2021Updated 5 years ago
- The Ixy user space network driver ported to Java 12☆22Feb 13, 2021Updated 5 years ago
- zig language maven plugin☆14May 5, 2026Updated 2 months ago
- Package ipoam implements helper functions for IP-layer Operations, Administration, and Maintenance (OAM) tools☆19Apr 9, 2019Updated 7 years ago
- Introduction to distributed programming in Java☆19Jan 22, 2015Updated 11 years ago
- Clojure library for organizing ns form☆13Dec 22, 2020Updated 5 years ago
- Collision prevention for OpenTTD (http://openttd.org/)☆10Dec 27, 2022Updated 3 years 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.
- Inference Llama 2 in one file of pure C☆14Jul 24, 2023Updated 2 years ago
- A general-purpose write-ahead log☆25Dec 3, 2018Updated 7 years ago
- UCSD CSE231 Advanced Compiler - LLVM project☆12Mar 28, 2017Updated 9 years ago
- ☆16Jul 12, 2026Updated last week
- 🌧️ A Clojure/Script library for fast and flexible web apps.☆13Jul 15, 2023Updated 3 years ago
- TCP Remote Top - A top like utility to visualize outgoing connections with statistics.☆16Feb 7, 2016Updated 10 years ago
- Task scheduler with high availability.☆12Jul 26, 2021Updated 4 years ago
- Juniper's P4 Runtime server implementation.☆18Sep 24, 2018Updated 7 years ago
- AST - Extractor for LLVM☆18Feb 23, 2021Updated 5 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.
- A library for creating gRPC messages and communicating with devices exposing a Barefoot Runtime gRPC interface.☆13May 30, 2025Updated last year
- A library for loading clojure user files☆19Jul 29, 2018Updated 7 years ago
- An llvm pass for counting global uncoalesced acceses for cuda code via dynamic analysis.☆14Nov 17, 2018Updated 7 years ago
- 😇 Wholly Adaptive LLVM Optimizer☆28Aug 29, 2020Updated 5 years ago
- ☆13May 18, 2018Updated 8 years ago
- Reader and writer of HDF5 files☆18Jul 15, 2017Updated 9 years ago
- Optimized integer division for Java☆18Oct 13, 2020Updated 5 years ago
- Node.js modules speed test: C++ vs JavaScript☆16Mar 25, 2015Updated 11 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 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.
- manipulate LLVM IR files☆33Jul 15, 2015Updated 11 years ago
- Holt-Winters forecasting☆20Sep 16, 2016Updated 9 years ago
- 🪵 Structured logging for Clojure. Thin layer on top of clojure.tools.logging with MDC support☆17Jun 2, 2026Updated last month
- MyBatis Hazelcast adapter☆23Updated this week
- Ejercicios de "Orientacion a Objetos 1"☆10Jan 13, 2024Updated 2 years ago
- Good Guy Pete: a GPT-powered, voice-operated assistant☆16Jun 10, 2026Updated last month
- Use instaparse from babashka☆26Mar 6, 2026Updated 4 months ago