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)
  ☆212Updated 8 months ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆20Updated 3 months ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 9 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆202Updated 2 years ago
• agurfinkel / minisat
  A minimalistic and high-performance SAT solver
  ☆26Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆27Updated 10 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated 4 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 2 years ago
• uuverifiers / tricera
  TriCera: a model checker for C programs
  ☆25Updated last week
• pcousot / slides
  slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
  ☆18Updated 2 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆168Updated last week
• tangruize / SandTable
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆25Updated last year
• matthewbdwyer / tipc
  A compiler from TIP to llvm bitcode
  ☆72Updated 11 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆104Updated this week
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆59Updated 8 months ago
• hkustgz-zhang-lab / HW-Formal-Paper
  Recent papers related to hardware formal verification.
  ☆74Updated 2 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆141Updated 8 months ago
• CnTransGroup / StaticSingleAssignmentBookChinese
  《Static Single Assignment Book》- 中文翻译
  ☆35Updated 2 years ago
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆119Updated 3 years ago
• arcsysu / SYsU-lang
  A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.
  ☆220Updated 11 months ago
• deeplang-org / deeplang
  Deeplang is a new language for IoT device programming.
  ☆82Updated 2 years ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• stanford-centaur / pono
  Pono: A flexible and extensible SMT-based model checker
  ☆116Updated this week
• tpchina / tpchina.github.io
  ☆17Updated 7 months ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆145Updated 4 years ago
• FP-Analysis / atomic-condition
  ☆21Updated 6 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 2 years 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
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆61Updated 2 years 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 5 years ago