Alternatives and similar repositories for COMP598_Fall2020:

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

• prmr / COMP303
  COMP303-Software Design at McGill University
  ☆84Updated 4 months ago
• prmr / DesignBook
  Companion repository for the book "Introduction to Software Design with Java"
  ☆128Updated 3 weeks ago
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated 2 years ago
• reudismam / Refazer
  ☆10Updated 5 years ago
• utopia-group / regel
  REGEL: Regular Expression Generation from Examples and Language
  ☆33Updated 2 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆13Updated 4 months ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• jin-guo / COMP303
  ☆48Updated 9 months ago
• utopia-group / sypet
  SyPet: Component-Based Synthesis for Complex APIs
  ☆20Updated 6 years ago
• wslee / duet
  ☆19Updated last week
• deekshaarya4 / Info_Types_in_OSS_Issue_Discussions
  Data, Code and Results from the ICSE 2019 accepted paper: Analysis and Detection of Information Types of Open Source Software Issue Discu…
  ☆12Updated 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 3 years ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆45Updated 4 years ago
• SERG-Delft / j2graph
  ☆10Updated 4 years ago
• SaminYeasar / pentago_twist
  ☆8Updated 2 years ago
• amitz25 / PCCoder
  Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"
  ☆49Updated 3 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• jjhenkel / code-vectors-artifact
  Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
  ☆22Updated 4 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆88Updated 3 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 3 months ago
• probing-lab / polar
  ☆17Updated 6 months ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• druths / comp598-2021
  Resources for the 2021 offering of COMP 598
  ☆23Updated 3 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• microsoft / python-program-analysis
  A Typescript library for parsing Python 3 and doing basic program analysis, like forming control-flow graphs and def-use chains.
  ☆53Updated 5 years ago