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)
  ☆205Updated last month
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆24Updated last year
• tpchina / tpchina.github.io
  ☆17Updated last week
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆69Updated 5 months ago
• microsoft / verus-proof-synthesis
  ☆28Updated 2 weeks ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆17Updated 3 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated 2 weeks ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆187Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆123Updated last month
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆16Updated 2 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• SoftWiser-group / LaM4Inv
  Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference"
  ☆16Updated 7 months ago
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆21Updated 9 months ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• thufv / Deagle
  ☆18Updated 5 months ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆80Updated 2 years ago
• uw-unsat / serval
  ☆47Updated 3 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆75Updated 2 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆53Updated last month
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 7 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆99Updated this week
• yihozhang / most-influential-pl-papers
  Most influential papers in programming languages
  ☆56Updated 3 months ago
• shaowei-cai-group / z3pp
  ☆48Updated last year
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• secure-foundations / human-eval-verus
  ☆13Updated 3 weeks ago
• fredfeng / CS162
  Programming languages
  ☆37Updated last month
• Gy-Hu / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆70Updated last year
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆91Updated last week