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
• diprism / perpl
  The PERPL Compiler
  ☆13Updated 2 weeks ago
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆12Updated last year
• jjhenkel / binnacle-icse2020
  ICSE 2020 Artifact for: Learning from, Understanding, and Supporting DevOps Artifacts for Docker
  ☆22Updated 2 years ago
• eth-sri / eth-sri.github.io
  SRI Group Website
  ☆10Updated last week
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• wenxiwang / neuroback
  ☆11Updated 10 months ago
• tianyi-zhang / ExampleStack-ICSE-Artifact
  ☆16Updated last year
• lu-cs-sde / codeprober
  Tool implementing Property Probes
  ☆22Updated last week
• 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
• sfzhou5678 / Lancer
  Code for paper "Lancer: Your Code Tell Me What You Need"
  ☆11Updated 3 years ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• wslee / duet
  ☆20Updated 6 months ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 9 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 3 weeks ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 4 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 7 years ago
• steynvl / inferrer
  An automata learning library written in Python.
  ☆48Updated 5 years ago
• JUrban / deepmath
  deep learning for math
  ☆28Updated 6 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
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Updated 2 years ago
• probing-lab / polar
  ☆17Updated 6 months ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• TruX-DTF / fixminer_source
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆30Updated 2 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 5 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated 2 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago