Alternatives and similar repositories for learning_data_science_in_prison:

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

• UnitTestBot / UTBotJava
  Automated unit test generation and precise code analysis for Java
  ☆139Updated 9 months ago
• JetBrains-Research / gorshochek
  [WIP] A tool for C++ code modification to augment data for clone detection tools
  ☆10Updated 2 years ago
• JetBrains-Research / psiminer
  A Tool for Mining Rich Abstract Syntax Trees from Code
  ☆58Updated last year
• HuantWang / CONCOCTION
  CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…
  ☆23Updated 7 months ago
• acheshkov / program-graphs
  A python library to build graphs for programs written in different programming languages.
  ☆11Updated 2 years ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆30Updated 5 months ago
• ecnusse / Kea
  Property-based Testing for Mobile GUI Apps
  ☆58Updated last week
• mistupv / JavaSlicer
  A program slicer for Java, based on the system dependence graph (SDG).
  ☆65Updated last year
• kkarnauk / parsek
  Parser combinators in Kotlin for Kotlin Multiplatform
  ☆17Updated 2 years ago
• cqfn / aibolit
  Static Analyzer for Java Code with Machine Learning in Mind
  ☆51Updated 11 months ago
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆26Updated last year
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆31Updated last week
• UnitTestBot / usvm
  Universal Symbolic Virtual Machine
  ☆23Updated this week
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆78Updated last month
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆34Updated last week
• CGCL-codes / PathEval
  This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…
  ☆29Updated 2 weeks ago
• JetBrains-Research / TestSpark
  TestSpark - a plugin for generating unit tests. TestSpark natively integrates different AI-based test generation tools and techniques in …
  ☆65Updated this week
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆24Updated 2 weeks ago
• ghaffarian / progex
  PROGEX (Program Graph Extractor); a cross platform tool for extracting graphical program representations from software source code
  ☆85Updated 3 years ago
• program-analysis-team / cooddy
  Source code (C,C++,Java) static analysis tool
  ☆45Updated 8 months ago
• andrewt0301 / static-analysis-course
  Materials for the "Principles of Static Program Analysis" course
  ☆9Updated 4 months ago
• orchestr7 / vercraft
  A simple tool for versioning your JVM app which calculates the version of the commit in SemVer format
  ☆36Updated last week
• tomgu1991 / IMChecker
  An automatic API misuse checker for C programs!
  ☆19Updated 5 years ago
• CGCL-codes / HistFuzz
  A practical fuzzing tool for SMT solvers
  ☆11Updated 7 months ago
• saveourtool / diktat
  Strict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs
  ☆548Updated last week
• hyperskill / hyperstyle
  A tool for running a set of pre-configured linters and evaluating code quality. It is used on the Hyperskill platform to check the qualit…
  ☆29Updated 6 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆33Updated this week
• lochnagarr / JITFuzz
  ☆13Updated last year
• UnitTestBot / UTBotCpp
  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage
  ☆164Updated 5 months ago