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
- An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).☆11Oct 30, 2017Updated 8 years ago
- ☆12Mar 30, 2023Updated 3 years ago
- Ergo Blockchain Explorer☆24Jan 30, 2026Updated 3 months ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 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.
- 打打 bot☆13Apr 27, 2026Updated last week
- 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
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 3 years ago
- Think Etherscan Write Contract, but on Aptos☆13May 9, 2025Updated 11 months ago
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago
- A very small configuration library.☆11Oct 8, 2020Updated 5 years ago
- 🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.☆16Jul 13, 2020Updated 5 years ago
- ☆20Dec 19, 2025Updated 4 months 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.
- Synchronize Erlang/OTP releases to remote nodes☆26May 15, 2014Updated 11 years ago
- Lightweight Erlang server behaviour☆15Oct 21, 2020Updated 5 years ago
- Stream operations in the style of Core's API.☆17Feb 9, 2023Updated 3 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- Secure decentralized hierarchical coordination platform☆22Nov 19, 2022Updated 3 years ago
- l298n对风扇调速☆10Jan 8, 2019Updated 7 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 7 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 6 years ago
- Example projects using the auto library.☆20May 16, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- Another Neovim Discord RPC plugin☆21Mar 19, 2026Updated last month
- for further development☆12Mar 16, 2026Updated last month
- Repeatable builds for Lantern, using docker.☆14Mar 7, 2024Updated 2 years ago
- transparent proxy to cccccros the GFW, cooperate with iptables; also see redsocks: https://github.com/darkk/redsocks☆10Jun 5, 2017Updated 8 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 10 years ago
- Scala wrapper for Cassandra DB☆51May 14, 2010Updated 15 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 4 years ago
- Agnostic representation of HTTP1 and HTTP2, with zero-copy, made for Sōzu.☆55Oct 29, 2025Updated 6 months 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.
- An ontology database for crops' traits with their variables☆22Apr 9, 2025Updated last year
- This is a backup of the unmodified version of ShadowVPN☆10Jan 2, 2016Updated 10 years ago
- A repo for user contributed SCons Builders and other tools. These are not supported directly by the SCons project.☆15Feb 18, 2026Updated 2 months ago
- ProxMate for chrome☆12Oct 21, 2019Updated 6 years ago
- Library for modelling Rust applications with actors☆20Nov 24, 2025Updated 5 months ago
- Creates secured box for accessing internal networks☆15Apr 5, 2019Updated 7 years ago
- OCS: a mirror of the ocaml OCS scheme interpreter☆12Feb 16, 2017Updated 9 years ago