Alternatives and similar repositories for fpp

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

• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 2 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• sukrutrao / SAT-Solver-CDCL
  A simple SAT solver based on the CDCL algorithm
  ☆19Updated 5 years ago
• tpchina / tpchina.github.io
  ☆17Updated last month
• microsoft / verus-proof-synthesis
  ☆34Updated last week
• thufv / Deagle
  ☆19Updated 6 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆103Updated this week
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆23Updated 10 months ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• FP-Analysis / atomic-condition
  ☆22Updated 5 years ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆39Updated last week
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆81Updated 2 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆18Updated last month
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated this week
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆192Updated 2 years ago
• SoftWiser-group / LaM4Inv
  Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024
  ☆17Updated 9 months ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆16Updated 4 years ago
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆57Updated 4 months ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• diffblue / hw-cbmc
  The HW-CBMC and EBMC Model Checkers for Verilog
  ☆72Updated this week
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆28Updated 5 months ago
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆69Updated 6 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 4 months ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 5 months ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆23Updated last year
• shaowei-cai-group / z3pp
  ☆48Updated last year
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆57Updated 10 years ago