Alternatives and similar repositories for COMP598_Fall2020

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

• SERG-Delft / j2graph
  ☆10Updated 5 years ago
• diprism / perpl
  The PERPL Compiler
  ☆14Updated 2 months ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• reudismam / Refazer
  ☆10Updated 6 years ago
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆27Updated 3 years ago
• ml-in-programming / astrid
  An IntelliJ IDEA plugin that allows to get suggestions for better method names
  ☆10Updated 6 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
• Chronosymbolic / Chronosymbolic-Learning
  Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python
  ☆11Updated last year
• 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
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• rajarshi008 / Scarlet
  Tool for learning linear temporal logic formulas using combinatorial approach
  ☆14Updated 11 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆25Updated 2 years ago
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆87Updated 3 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
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆41Updated 2 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• wenxiwang / neuroback
  ☆12Updated 11 months ago
• ali-ghanbari / prapr-sc
  Official repository for PraPR source code
  ☆14Updated 4 years ago
• rishabhs / sygus-comp14
  ☆41Updated 6 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 5 months ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 5 years ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆264Updated last year
• ellisk42 / LambdaBeam
  ☆13Updated last year
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• sola-st / IdBench
  A benchmark for evaluating embeddings of identifiers in source code.
  ☆22Updated 4 years ago
• tianyi-zhang / ExampleStack-ICSE-Artifact
  ☆16Updated last year
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 2 months ago
• nathanael-fijalkow / DeepSynth
  DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …
  ☆48Updated last year