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
• cbiffle / lilist

  View on GitHub
  A Rust doubly-linked intrusive list with Miri tests
  ☆12May 4, 2024Updated last year
• Ghabriel / AutomatonSimulator

  View on GitHub
  An online simulator for finite automata (FA), pushdown automata (PDA) and linear bounded automata (LBA).
  ☆11Oct 30, 2017Updated 8 years ago
• gmalecha / coq-smt-check

  View on GitHub
  Invoke SMT solvers from Coq to check obligations
  ☆10Jun 16, 2020Updated 5 years ago
• thautwarm / DianaScript-JIT

  View on GitHub
  ☆18Nov 14, 2021Updated 4 years ago
• Serverless GPU API endpoints on Runpod - Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• trackoor / AwesomePL

  View on GitHub
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17May 10, 2022Updated 3 years ago
• vonhyou / lisp-interpreter

  View on GitHub
  a minimal lisp interpreter written in ruby
  ☆11Apr 15, 2021Updated 5 years ago
• PhotonQuantum / hithit_bot

  View on GitHub
  打打 bot
  ☆13Apr 6, 2026Updated last week
• fan-tom / liquid-rust

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

  View on GitHub
  A Python-based interface to the Saleae Logic/Logic16 Device SDK
  ☆19Jul 11, 2014Updated 11 years ago
• AngryLawyer / commonjs_of_ocaml

  View on GitHub
  Import and export CommonJS modules in js_of_ocaml
  ☆12May 19, 2016Updated 9 years ago
• ThalaLabs / thala-run

  View on GitHub
  Think Etherscan Write Contract, but on Aptos
  ☆13May 9, 2025Updated 11 months ago
• fxfactorial / ocaml-plist

  View on GitHub
  Create, parse Apple Plists, plays nicely with Yojson
  ☆10Jan 19, 2017Updated 9 years ago
• trackoor / Chi

  View on GitHub
  🍀 Chi is a subset of Common Lisp, implemented in Python3. Yet another mal.
  ☆16Jul 13, 2020Updated 5 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.
• tpchina / tpchina.github.io

  View on GitHub
  ☆20Dec 19, 2025Updated 3 months ago
• fhunleth / relsync

  View on GitHub
  Synchronize Erlang/OTP releases to remote nodes
  ☆26May 15, 2014Updated 11 years ago
• biocaml / cfstream

  View on GitHub
  Stream operations in the style of Core's API.
  ☆17Feb 9, 2023Updated 3 years ago
• raptazure / unifier

  View on GitHub
  A multi-threaded, persistent key/value store
  ☆17Feb 9, 2021Updated 5 years ago
• swax / DeOps

  View on GitHub
  Secure decentralized hierarchical coordination platform
  ☆22Nov 19, 2022Updated 3 years ago
• wsndy / fan-speed

  View on GitHub
  l298n对风扇调速
  ☆10Jan 8, 2019Updated 7 years ago
• pomadchin / path-to-recschemes

  View on GitHub
  A path to Recursion Schemes
  ☆10Apr 20, 2020Updated 5 years ago
• batterseapower / ansi-wl-pprint

  View on GitHub
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆31Sep 6, 2019Updated 6 years ago
• Kami-code / ICS-2020-Notes

  View on GitHub
  上海交通大学软件学院课程计算机系统基础（ICS）笔记
  ☆15Feb 7, 2022Updated 4 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• getlantern / flashlight-build

  View on GitHub
  Repeatable builds for Lantern, using docker.
  ☆14Mar 7, 2024Updated 2 years ago
• xiqingping / transproxy

  View on GitHub
  transparent proxy to cccccros the GFW, cooperate with iptables; also see redsocks: https://github.com/darkk/redsocks
  ☆10Jun 5, 2017Updated 8 years ago
• bioversity / Crop-Ontology

  View on GitHub
  An ontology database for crops' traits with their variables
  ☆22Apr 9, 2025Updated last year
• dvcrn / proxmate-chrome

  View on GitHub
  ProxMate for chrome
  ☆12Oct 21, 2019Updated 6 years ago
• Voronenko / jumpbox

  View on GitHub
  Creates secured box for accessing internal networks
  ☆15Apr 5, 2019Updated 7 years ago
• emilianobonassi / bsc-hack-analysis-2022-10-06

  View on GitHub
  ☆19Oct 8, 2022Updated 3 years ago
• AsmOptC-RiscV / Assembly-Optimized-C-RiscV

  View on GitHub
  ☆16Feb 10, 2021Updated 5 years ago
• freehck / ocs

  View on GitHub
  OCS: a mirror of the ocaml OCS scheme interpreter
  ☆12Feb 16, 2017Updated 9 years ago
• layerssss / chnroutesapp

  View on GitHub
  不用在本地运行chnroutes，直接在线获取chnroutes脚本
  ☆11Feb 25, 2020Updated 6 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• bashi-bazouk / Caravan

  View on GitHub
  ZMQ API bindings for OCaml
  ☆14Sep 20, 2011Updated 14 years ago
• openhwgroup / core-v-mcu-devkit

  View on GitHub
  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
• anhnguyen1618 / Tiger-ocaml-llvm-compiler

  View on GitHub
  A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
  ☆27Aug 1, 2022Updated 3 years ago
• stac-utils / stac4s

  View on GitHub
  A Scala library with primitives to build applications using the SpatioTemporal Asset Catalogs specification
  ☆17Mar 25, 2026Updated 3 weeks ago
• vog / fingerprint

  View on GitHub
  Print your GPG key fingerprint with LaTeX
  ☆14Oct 24, 2018Updated 7 years ago
• gakonst / noir-hello-world

  View on GitHub
  ☆31Oct 9, 2022Updated 3 years ago
• jazzfool / thunderclap

  View on GitHub
  Rust widget toolkit built on Reclutch
  ☆11Mar 25, 2020Updated 6 years ago