Alternatives and similar repositories for ac2

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

• jplag / JPlag
  State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
  ☆1,609Updated this week
• fyrestone / pycode_similar
  A simple plagiarism detection tool for python code
  ☆184Updated 2 years ago
• dodona-edu / dolos
  Source code plagiarism detection
  ☆296Updated last week
• Universal-Variability-Language / uvl-parser
  ☆11Updated last week
• LearnLib / automatalib
  A free, open-source Java library for modeling automata, graphs, and transition systems
  ☆94Updated 2 weeks ago
• blingenf / copydetect
  Code plagiarism detection tool
  ☆300Updated last year
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆10Updated 10 years ago
• agranya99 / MOSS-winnowing-seqMatcher
  moss implementation in python - checks software codes for plagiarism
  ☆50Updated 4 years ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆25Updated 3 years ago
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆102Updated last year
• Greg4cr / sbse-sigsoft-standard
  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).
  ☆23Updated 4 years ago
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆61Updated 3 years ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆145Updated 7 months ago
• but4reuse / but4reuse
  Bottom-Up Technologies for Reuse
  ☆18Updated 2 years ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆242Updated this week
• marijnheule / CnC
  Cube-and-Conquer SAT solver
  ☆35Updated last year
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆262Updated this week
• markuswagnergithub / SBSEcourse
  Search-Based Software Engineering Course
  ☆12Updated 2 years ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆50Updated 2 years ago
• gi-ev / LNI
  A LaTeX class for submissions to the “Lecture Notes in Informatics” (LNI) published by the German “Gesellschaft für Informatik” (GI)
  ☆41Updated 3 weeks ago
• JetBrains-Research / buckwheat
  A multi-language tokenizer for extracting identifiers from source code.
  ☆24Updated 3 years ago
• ssoelvsten / bdd-benchmark
  Benchmarking Suite for BDD packages
  ☆17Updated last month
• jeantessier / dependency-finder
  A suite of tools for analyzing compiled Java code.
  ☆48Updated last week
• tsantalis / RefactoringMiner
  ☆427Updated this week
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 5 years ago
• CityU-QingMi / DeepCRM
  Improving Code Readability Classification using Convolutional Neural Networks
  ☆10Updated 7 years ago
• diogocabral / sherlock
  The Sherlock Plagiarism Detector
  ☆134Updated last year
• program-repair / RepairThemAll
  Automatic Repair Framework that abstract repair tools and bug benchmarks
  ☆70Updated 2 years ago
• department-of-reuse / DoR
  The Department of Reuse tracks and documents reuse of artifacts in computer science (starting with the SE field)
  ☆17Updated 6 months ago
• sat-heritage / docker-images
  SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
  ☆38Updated 2 years ago