Alternatives and similar repositories for fpp

Users that are interested in fpp are comparing it to the libraries listed below

• aman-goel / ic3po

  View on GitHub
  IC3PO: IC3 for Proving Protocol Properties
  ☆28Sep 10, 2024Updated last year
• congo-cc / congo-parser-generator

  View on GitHub
  The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC
  ☆47Dec 10, 2025Updated 2 months ago
• kevinsullivan / TLAPlusDocker

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• hhu-stups / prob-rodinplugin

  View on GitHub
  (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
  ☆19Jan 24, 2026Updated 3 weeks ago
• elisa-tech / meta-elisa

  View on GitHub
  ☆10Jan 27, 2026Updated 2 weeks ago
• Virtual-Machine / ir-examples

  View on GitHub
  LLVM IR Examples
  ☆38Feb 25, 2017Updated 8 years ago
• JunguangJiang / TinyCCompiler

  View on GitHub
  A tiny C compiler based on LLVM and ANTLR4
  ☆10Jan 13, 2019Updated 7 years ago
• ywx2012 / ossrc

  View on GitHub
  《穿越操作系统迷雾》源码
  ☆11Jan 19, 2025Updated last year
• DBCobra / CobraHome

  View on GitHub
  ☆11Mar 3, 2021Updated 4 years ago
• antlr / website-antlr4

  View on GitHub
  The ANTLR 4 Website
  ☆17Aug 3, 2024Updated last year
• luofei614 / luofei614.github.io

  View on GitHub
  ☆33Aug 12, 2014Updated 11 years ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• MouMou / jquery-webrtc

  View on GitHub
  A jQuery plugin for webRTC
  ☆62May 9, 2012Updated 13 years ago
• staticafi / sbt-slicer

  View on GitHub
  Static program slicer used in Symbiotic tool
  ☆12Mar 31, 2025Updated 10 months ago
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆14Dec 16, 2024Updated last year
• cs-au-dk / MONA

  View on GitHub
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆55Mar 3, 2020Updated 5 years ago
• pbailis / tinytocs-site

  View on GitHub
  Tiny Transactions on Computer Systems (TinyToCS) Site
  ☆32Mar 8, 2016Updated 9 years ago
• ajwijs / GPUexplore

  View on GitHub
  GPU model checker
  ☆11Apr 17, 2019Updated 6 years ago
• echronos / echronos-proofs

  View on GitHub
  Isabelle/HOL proofs about the eChronos RTOS
  ☆11Jun 13, 2017Updated 8 years ago
• arquillian / arquillian-cube-q

  View on GitHub
  Fault injection and chaos testing all in one, sweet DSL.
  ☆12Jan 26, 2026Updated 2 weeks ago
• AutoSARioDeveloper / ArxmlEditor

  View on GitHub
  Arxml Editor, using Eclipse XML Editor
  ☆12Jun 14, 2018Updated 7 years ago
• Tipoca / intuitionistic

  View on GitHub
  Intuitionistic Programming Language
  ☆12Dec 28, 2013Updated 12 years ago
• gipsyh / rIC3-HWMCC24

  View on GitHub
  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
  ☆11Jul 4, 2025Updated 7 months ago
• lautnerxing / DavinciCan

  View on GitHub
  Parse DBC file and Generate arxml file for Vector Davinci Development software
  ☆11Oct 10, 2022Updated 3 years ago
• projectacrn / projectacrn.github.io

  View on GitHub
  Project ACRN Documentation Publishing Site
  ☆14Nov 5, 2024Updated last year
• konnov / fault-tolerant-benchmarks

  View on GitHub
  Fault-tolerant distributed algorithms encoded in a formal language
  ☆14Nov 30, 2020Updated 5 years ago
• jgcoded / BuDDy

  View on GitHub
  BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files
  ☆14Apr 1, 2017Updated 8 years ago
• abhi18av / Alda-VsCode

  View on GitHub
  Syntax highlighting for Alda - a music programming language.
  ☆12Sep 5, 2021Updated 4 years ago
• sterin / super-prove-build

  View on GitHub
  ☆14Sep 14, 2020Updated 5 years ago
• PersonalTransport / LIN

  View on GitHub
  LIN Implementation
  ☆10Jul 6, 2016Updated 9 years ago
• wanghan0501 / RaspberryRobot

  View on GitHub
  基于树莓派的智能机器人
  ☆17Oct 2, 2017Updated 8 years ago
• lip6 / libDDD

  View on GitHub
  Library for Data Decision Diagrams and Set Decision Diagrams
  ☆15Sep 10, 2025Updated 5 months ago
• ftsrg / theta

  View on GitHub
  Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
  ☆61Jan 28, 2026Updated 2 weeks ago
• utwente-fmt / ltsmin

  View on GitHub
  The LTSmin model checking toolset
  ☆61Oct 31, 2024Updated last year
• aman-goel / ivybench

  View on GitHub
  Collection of Distributed Protocol Verification Problems
  ☆15Apr 27, 2024Updated last year
• zhangjie-xd / FastDroid

  View on GitHub
  a taint analysis tool for android apps
  ☆13Oct 2, 2020Updated 5 years ago
• DistributedClocks / tsviz

  View on GitHub
  Tool to visualize executions of multi-threaded systems
  ☆13Jun 1, 2020Updated 5 years ago
• jix / kissat_extras

  View on GitHub
  A fork of the Kissat SAT solver with additional features. Supports incremental solving.
  ☆17Aug 13, 2022Updated 3 years ago