Alternatives and similar repositories for cse291-program-synthesis:

Users that are interested in cse291-program-synthesis are comparing it to the libraries listed below

• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆91Updated 4 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆69Updated 5 years 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
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆188Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆123Updated last month
• lukaszcz / coqhammer
  CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
  ☆228Updated last week
• SaswatPadhi / LoopInvGen
  Generates loop invariants for program verification
  ☆62Updated 4 years ago
• wslee / duet
  ☆20Updated 2 weeks ago
• nadia-polikarpova / synquid
  ☆127Updated 3 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆67Updated 3 weeks ago
• LeifAndersen / PLGradSchools
  ☆230Updated 8 months ago
• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆60Updated last month
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆158Updated 7 months ago
• fredfeng / Trinity
  ☆24Updated this week
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆68Updated last year
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆202Updated 3 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆125Updated 2 years ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆517Updated 2 months ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆28Updated 4 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated 6 months ago
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated last year
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆85Updated 3 weeks ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆23Updated 3 years ago
• Mestway / Scythe
  Synthesizing SQL queries from input / output examples
  ☆45Updated 4 years ago