Formalization of FLP Impossibility Theorem
☆19Sep 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:
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated last year
- Ergo Blockchain Explorer☆24Jan 30, 2026Updated last month
- An example implementation of the Shunting-yard algorithm in Rust☆11Feb 21, 2018Updated 8 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 9 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago
- Http4s Caching Implementation☆13Jul 15, 2024Updated last year
- ☆16Mar 18, 2024Updated 2 years ago
- A cli version of the Nomad Sparse Merklee Tree Accumulator☆19May 19, 2022Updated 3 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 7 years ago
- Another Neovim Discord RPC plugin☆21Mar 19, 2026Updated last week
- Example projects using the auto library.☆20May 16, 2015Updated 10 years ago
- Simple Python API for the Ergo Platform Explorer☆10Jun 12, 2021Updated 4 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Sep 6, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- for further development☆12Mar 16, 2026Updated last week
- Lightweight, Gracefull Push + Pull Pattern Demo☆20May 10, 2022Updated 3 years ago
- Agnostic representation of HTTP1 and HTTP2, with zero-copy, made for Sōzu.☆53Oct 29, 2025Updated 4 months ago
- Generate type mappers for your own type class☆13May 11, 2023Updated 2 years ago
- Automatic re-connection support for PostgreSQL.☆15Aug 12, 2021Updated 4 years ago
- Hydrozoa: Lightweight multi-party state channels for Cardano☆17Updated this week
- Pairing operations over the BLS12-381 elliptic curve in Haskell☆14Feb 18, 2022Updated 4 years ago
- A Web Browser with a Formally Verified Kernel☆24Sep 8, 2013Updated 12 years ago
- This is the CORE-V MCU DevKit project, hosting the open-source artifacts for the CORE-V MCU Development Kit.☆18Jan 31, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Tools to manipulate source files (linting, patching, etc.)☆20Jul 19, 2018Updated 7 years ago
- rust on pebble - functional with limited capabilities☆45May 11, 2019Updated 6 years ago
- Probability models with `y ~ Normal(mu, sigma)` style syntax and reverse mode AD for gradients; WIP. Prioritizes runtime performance.☆20Dec 12, 2020Updated 5 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- Rust widget toolkit built on Reclutch☆11Mar 25, 2020Updated 6 years ago
- ☆19Dec 23, 2015Updated 10 years ago
- An Ergo-Appkit based library providing an abstraction layer to easily interact with AVL Trees as an L2 Solution☆14Aug 23, 2023Updated 2 years ago
- Decentralized P2P Financial Contracts on the Ergo blockchain.☆17May 2, 2023Updated 2 years ago
- library for reliable processing records received from kafka☆22Mar 13, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Using Rust to make a 151-byte static AMD64 Linux binary☆58Aug 1, 2020Updated 5 years ago
- [INACTIVE]☆29May 3, 2016Updated 9 years ago
- A toolkit for communicating with Emacs from OCaml☆19Jan 24, 2020Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Nov 7, 2018Updated 7 years ago
- A community-driven web tool to unlock the full potential of the Unifi SFP Wizard☆56Nov 9, 2025Updated 4 months ago
- ☆20Apr 27, 2021Updated 4 years ago
- Abandoned project, do not use☆15Sep 27, 2025Updated 5 months ago