kushti/flp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

kushti/flp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/kushti/flp)

Close

kushti / flpView on GitHubMore

• External links
• Readme badge

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.

• codius-deprecated / rust-ptrace

  View on GitHub
  ☆14Sep 9, 2017Updated 8 years ago
• fan-tom / liquid-rust

  View on GitHub
  Liquid Types implementation for Rust
  ☆30Sep 30, 2022Updated 3 years ago
• AngryLawyer / commonjs_of_ocaml

  View on GitHub
  Import and export CommonJS modules in js_of_ocaml
  ☆12May 19, 2016Updated 10 years ago
• ujamjar / hardcaml-affirm

  View on GitHub
  Verification tools for HardCaml
  ☆10Jun 13, 2018Updated 8 years ago
• ObserverOfTime / nvimcord

  View on GitHub
  Another Neovim Discord RPC plugin
  ☆21Mar 19, 2026Updated 4 months ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• hartkopp / can-utils

  View on GitHub
  for further development
  ☆12Mar 16, 2026Updated 4 months ago
• jakeogh / gpgmda

  View on GitHub
  GPG encrypting MDA
  ☆15May 25, 2025Updated last year
• ckennelly / asymmetricfs

  View on GitHub
  An Asymmetric, Encrypting Filesystem for Userspace
  ☆20Dec 6, 2016Updated 9 years ago
• dvcrn / proxmate-chrome

  View on GitHub
  ProxMate for chrome
  ☆13Oct 21, 2019Updated 6 years ago
• mysqto / ShadowVPN

  View on GitHub
  This is a backup of the unmodified version of ShadowVPN
  ☆10Jan 2, 2016Updated 10 years ago
• AsmOptC-RiscV / Assembly-Optimized-C-RiscV

  View on GitHub
  ☆15Feb 10, 2021Updated 5 years ago
• mstksg / auto-examples

  View on GitHub
  Example projects using the auto library.
  ☆20May 16, 2015Updated 11 years ago
• bashi-bazouk / Caravan

  View on GitHub
  ZMQ API bindings for OCaml
  ☆14Sep 20, 2011Updated 14 years ago
• freehck / ocs

  View on GitHub
  OCS: a mirror of the ocaml OCS scheme interpreter
  ☆12Feb 16, 2017Updated 9 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• rphillips / gosec

  View on GitHub
  Gosec manages secrets using PGP
  ☆17Aug 31, 2015Updated 10 years ago
• layerssss / chnroutesapp

  View on GitHub
  不用在本地运行chnroutes，直接在线获取chnroutes脚本
  ☆11Feb 25, 2020Updated 6 years ago
• 0x10cStandardsCommittee / 0x10c-Specifications

  View on GitHub
  0x10c Computing Specifications
  ☆21May 4, 2012Updated 14 years ago
• OCamlPro / typerex-lint

  View on GitHub
  Tools to manipulate source files (linting, patching, etc.)
  ☆20Jul 19, 2018Updated 8 years ago
• NebulousLabs / Sunfish

  View on GitHub
  File Sharing Platform for Sia
  ☆10Oct 21, 2015Updated 10 years ago
• frankjwu / airbox

  View on GitHub
  Airbnb for Dropbox -- secondary market for Dropbox space
  ☆15Jun 1, 2021Updated 5 years ago
• softasap / sa-vpn-softether

  View on GitHub
  Softether installation for ubuntu, redhat, centos, fedora
  ☆15Dec 8, 2022Updated 3 years ago
• EtherFund / ether-contract

  View on GitHub
  Smart Contract Editor and Publisher for Ethereum.
  ☆13Jan 31, 2015Updated 11 years ago
• ThomasWaldmann / vpngw

  View on GitHub
  high performance multi-VPN gateway with VLAN support
  ☆18Dec 6, 2021Updated 4 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
• kmcallister / tiny-rust-demo

  View on GitHub
  Using Rust to make a 151-byte static AMD64 Linux binary
  ☆59Aug 1, 2020Updated 5 years ago
• timbray / KeybaseLib

  View on GitHub
  General-purpose Java-language library for keybase.io clients
  ☆16Jul 6, 2015Updated 11 years ago
• strund3r / Attack-Shell

  View on GitHub
  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
• solvuu / phat

  View on GitHub
  Strongly typed file path and file system operations.
  ☆26Jun 11, 2026Updated last month
• projectbismark / bismark

  View on GitHub
  Bismark is a project to take active network measurements from home routers
  ☆19Oct 20, 2020Updated 5 years ago
• flowhub / jsjob-ethereum

  View on GitHub
  Experiment for JavaScript computational market on Ethereum
  ☆14May 4, 2017Updated 9 years ago
• blockai-unofficial / bitstore-client

  View on GitHub
  A content-addressable file hosting and distribution service that uses Bitcoin public key infrastructure for authentication and payment.
  ☆16Jan 8, 2016Updated 10 years ago
• hammerlab / sosa

  View on GitHub
  The Sane OCaml String API
  ☆28Aug 24, 2017Updated 8 years ago
• hhugo / odate

  View on GitHub
  date and duration in ocaml
  ☆23Apr 12, 2024Updated 2 years ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• let-def / sturgeon

  View on GitHub
  A toolkit for communicating with Emacs from OCaml
  ☆19Jan 24, 2020Updated 6 years ago
• aniemerg / Patent-Tools

  View on GitHub
  Tools to work with patent files released by Google.
  ☆19Dec 18, 2012Updated 13 years ago
• imeckler / stationary

  View on GitHub
  A static site generator library for OCaml
  ☆16Oct 6, 2019Updated 6 years ago
• zack-bitcoin / augur-core

  View on GitHub
  A truthcoin protocol. https://github.com/psztorc/Truthcoin
  ☆16May 8, 2024Updated 2 years ago
• swax / DeOps

  View on GitHub
  Secure decentralized hierarchical coordination platform
  ☆23Nov 19, 2022Updated 3 years ago
• arunkatherashala / Kore

  View on GitHub
  ☆18Jul 12, 2026Updated last week
• domsj / orocksdb

  View on GitHub
  An OCaml RocksDb binding using ocaml-ctypes
  ☆28Jun 14, 2019Updated 7 years ago