Alternatives and similar repositories for prime:

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

• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• mast-group / tassal
  Tree-based Autofolding Software Summarization Algorithm
  ☆42Updated 8 years ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 3 weeks ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• cs-au-dk / MONA
  MONA - a decision procedure for monadic second-order logic on finite strings and trees
  ☆48Updated 4 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 11 years ago
• wangbo15 / accmut
  Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.
  ☆11Updated 6 years ago
• cesaro / dpu
  Dynamic analysis of multithreaded C programs
  ☆13Updated 4 years ago
• ChrisCummins / paper-synthesizing-benchmarks
  📝 "Synthesizing Benchmarks for Predictive Modeling" (🥇 CGO'17 Best Paper)
  ☆22Updated last year
• binsec / icse2021-artifact992
  ☆10Updated 3 years ago
• eschulte / llvm-mutate
  manipulate LLVM IR files
  ☆32Updated 9 years ago
• ProgramRepair / SearchRepair
  The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)
  ☆26Updated 5 years ago
• amaurremi / IDE
  Interprocedural Distributive Environment algorithm implementation
  ☆16Updated 9 years ago
• agra-uni-bremen / metaSMT
  ☆51Updated 8 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• nvidia-compiler-sdk / pynvvm
  Python bindings for libNVVM
  ☆36Updated 10 years ago
• niklasso / tip
  A model checker based on SAT solving and induction
  ☆13Updated 9 years ago
• sampsyo / minisynth
  program synthesis is possible
  ☆41Updated 5 years ago
• nelsonth / btoblas
  Build-to-Order BLAS
  ☆11Updated 5 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆21Updated 3 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 6 months ago
• vlab-cs-ucsb / LibStranger
  ☆12Updated 9 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆41Updated 6 months ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆13Updated 4 years ago
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 3 years ago
• mangpo / greenthumb
  ☆86Updated 2 years ago
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆27Updated 4 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago