Alternatives and similar repositories for COMP598_Fall2020

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

• reudismam / Refazer
  ☆10Updated 6 years ago
• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• vardigroup / lisa
  Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…
  ☆12Updated 4 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• tianyi-zhang / ExampleStack-ICSE-Artifact
  ☆16Updated last year
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 6 years ago
• eth-sri / eth-sri.github.io
  SRI Group Website
  ☆10Updated this week
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Updated 3 years ago
• JetBrains-Research / buckwheat
  A multi-language tokenizer for extracting identifiers from source code.
  ☆24Updated 3 years ago
• JetBrains-Research / sosed
  Finding similar repositories on GitHub
  ☆51Updated 2 years ago
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• SigmaX / LightBDD
  A simple Binary Decision Diagram library in Java
  ☆15Updated 7 years ago
• mast-group / mineSStuBs
  Hosts our tool for mining simple "stupid'' bugs (SStuBs).
  ☆37Updated 3 years ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 6 years ago
• diprism / perpl
  The PERPL Compiler
  ☆14Updated 2 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 11 months ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 7 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• sfzhou5678 / Lancer
  Code for paper "Lancer: Your Code Tell Me What You Need"
  ☆11Updated 3 years ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 4 years ago
• TruX-DTF / fixminer_source
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆31Updated 3 years ago
• google-research-datasets / eth_py150_open
  A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…
  ☆32Updated 5 years ago
• jjhenkel / binnacle-icse2020
  ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker
  ☆22Updated 3 years ago
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• JetBrains-Research / Lupa
  A framework for the large scale analysis of programming language usage.
  ☆30Updated 2 years ago
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆51Updated 3 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year