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 9 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- An example implementation of the Shunting-yard algorithm in Rust☆11Feb 21, 2018Updated 8 years ago
- 🍋 A Rust/Swift-like modern interpreted programming language. First-class functions, first-class expressions, and functional techniques i…☆11Mar 2, 2021Updated 5 years ago
- ☆18Nov 14, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 4 years ago
- Import and export CommonJS modules in js_of_ocaml☆12May 19, 2016Updated 10 years ago
- Corny COBS encode/decode for Rust no_std targets☆21Nov 10, 2022Updated 3 years ago
- ☆16Updated this week
- Stream operations in the style of Core's API.☆17Feb 9, 2023Updated 3 years ago
- for further development☆12Mar 16, 2026Updated 6 months ago
- GPG encrypting MDA☆15May 25, 2025Updated last year
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Agnostic representation of HTTP1 and HTTP2, with zero-copy, made for Sōzu.☆56Jul 15, 2026Updated 2 months ago
- transparent proxy to cccccros the GFW, cooperate with iptables; also see redsocks: https://github.com/darkk/redsocks☆10Jun 5, 2017Updated 9 years ago
- A repo for user contributed SCons Builders and other tools. These are not supported directly by the SCons project.☆15Feb 18, 2026Updated 7 months ago
- This is a backup of the unmodified version of ShadowVPN☆10Jan 2, 2016Updated 10 years ago
- ☆15Feb 10, 2021Updated 5 years ago
- 🌍 Landing page for Poketto☆17Nov 4, 2024Updated last year
- A Web Browser with a Formally Verified Kernel☆24Sep 8, 2013Updated 13 years ago
- Paul Layzell's Evolvable Motherboard☆13Sep 14, 2015Updated 11 years ago
- rust on pebble - functional with limited capabilities☆46May 11, 2019Updated 7 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.
- CLI for Enterprise Application Access (EAA)☆24Jun 17, 2026Updated 3 months ago
- 0x10c Computing Specifications☆21May 4, 2012Updated 14 years ago
- Print your GPG key fingerprint with LaTeX☆14Oct 24, 2018Updated 7 years ago
- Tools to manipulate source files (linting, patching, etc.)☆20Jul 19, 2018Updated 8 years ago
- ☆19Dec 23, 2015Updated 10 years ago
- File Sharing Platform for Sia☆10Oct 21, 2015Updated 10 years ago
- Airbnb for Dropbox -- secondary market for Dropbox space☆15Jun 1, 2021Updated 5 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 6 years ago
- Softether installation for ubuntu, redhat, centos, fedora☆15Dec 8, 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.
- A powerful, tagset-independent and theory-neutral meta model and API for storing, manipulating, and representing nearly all types of ling…☆15Mar 27, 2023Updated 3 years ago
- high performance multi-VPN gateway with VLAN support☆18Dec 6, 2021Updated 4 years ago
- Using Rust to make a 151-byte static AMD64 Linux binary☆59Aug 1, 2020Updated 6 years ago
- General-purpose Java-language library for keybase.io clients☆16Jul 6, 2015Updated 11 years ago
- Crypto Capital API Documentation and Sample Code☆10Aug 7, 2016Updated 10 years ago
- Attack Shell a.k.a. Ani-Shell is a simple PHP shell with some unique features like Mass Mailer, a simple Web-Server Fuzzer, Dosser, Back …☆15Jul 4, 2017Updated 9 years ago
- Bismark is a project to take active network measurements from home routers☆19Oct 20, 2020Updated 5 years ago