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 9 months ago
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆27Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆204Updated 2 years ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆21Updated 4 months ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆29Updated 11 months ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆117Updated 2 weeks ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆26Updated last year
• thufv / Deagle
  ☆23Updated last month
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆172Updated last week
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆72Updated last year
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆106Updated this week
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated this week
• uclid-org / uclid
  UCLID5: formal modeling, verification, and synthesis of computational systems
  ☆152Updated 5 months ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 3 years ago
• hkustgz-zhang-lab / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆75Updated 2 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 10 months ago
• WilliamX1 / tiger-compiler
  tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).
  ☆55Updated 3 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆25Updated 3 years ago
• connorimes / parsec-3.0
  PARSEC 3.0 benchmark suite
  ☆13Updated 7 years ago
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆19Updated 3 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆70Updated 10 months ago
• aman-goel / avr
  Reads a state transition system and performs property checking
  ☆88Updated 3 months ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated 2 years ago
• tpchina / tpchina.github.io
  ☆18Updated last month
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• lazyparser / becoming-a-compiler-engineer-codes
  方舟编译入门技术课程的配套代码
  ☆30Updated 5 years ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆43Updated 2 weeks ago
• arbrad / IC3ref
  IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
  ☆63Updated 10 years ago
• fuqi-jia / BLAN
  Bit-bLAsting solving Non-linear integer constraints.
  ☆22Updated 5 months ago