Formalization of FLP Impossibility Theorem
☆18Sep 26, 2015Updated 10 years ago
Alternatives and similar repositories for flp
Users that are interested in flp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Sep 9, 2017Updated 8 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- A Python-based interface to the Saleae Logic/Logic16 Device SDK☆19Jul 11, 2014Updated 11 years ago
- Import and export CommonJS modules in js_of_ocaml☆12May 19, 2016Updated 10 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.
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago
- Provides zero-config discovery service using broadcast UDP.☆24Dec 12, 2023Updated 2 years ago
- A bunch of helpers I created for angularjs apps☆11Apr 13, 2019Updated 7 years ago
- ☆14Mar 21, 2019Updated 7 years ago
- Better dependency injection for Angular 1.x☆15Oct 20, 2015Updated 10 years ago
- NOT MAINTAINED☆11Apr 27, 2020Updated 6 years ago
- Stream operations in the style of Core's API.☆17Feb 9, 2023Updated 3 years ago
- Secure decentralized hierarchical coordination platform☆23Nov 19, 2022Updated 3 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 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.
- ☆16Mar 18, 2024Updated 2 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 6 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- for further development☆12Mar 16, 2026Updated 3 months ago
- GPG encrypting MDA☆15May 25, 2025Updated last year
- An implementation of Shamir's Secret Sharing algorithm for Bitcoin private keys (256-bit integers)☆20Jan 11, 2014Updated 12 years ago
- transparent proxy to cccccros the GFW, cooperate with iptables; also see redsocks: https://github.com/darkk/redsocks☆10Jun 5, 2017Updated 9 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- 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.
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- SingularityNET Beta DApp lets you interact with Agents registered on the Kovan network using testnet AGI☆15Aug 16, 2019Updated 6 years ago
- An experimental utility to export and import Google Cloud Firestore databases.☆25Mar 4, 2023Updated 3 years ago
- Agnostic representation of HTTP1 and HTTP2, with zero-copy, made for Sōzu.☆55Oct 29, 2025Updated 8 months ago
- ☆22Jun 21, 2020Updated 6 years ago
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- An ontology database for crops' traits with their variables☆22Apr 9, 2025Updated last year
- A repo for user contributed SCons Builders and other tools. These are not supported directly by the SCons project.☆15Feb 18, 2026Updated 4 months ago
- ProxMate for chrome☆13Oct 21, 2019Updated 6 years ago
- 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.
- A stealth wallet contract using the BLS12-381 curve for Cardano.☆13May 21, 2026Updated last month
- A consistent hash ring implemention for Elixir☆24Feb 24, 2017Updated 9 years ago
- Library for modelling Rust applications with actors☆20Nov 24, 2025Updated 7 months ago
- ☆22Dec 19, 2024Updated last year
- ☆15Feb 10, 2021Updated 5 years ago
- Decentralized network for creating and training autonomous AI agents☆14Mar 24, 2023Updated 3 years ago
- NanoRing is a very very small Cluster management System in Elixir.☆35Nov 8, 2020Updated 5 years ago