Alternatives and similar repositories for synth

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

• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆118Updated 2 months ago
• creswick / HaVSA
  HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.
  ☆12Updated 8 years ago
• rishabhs / sygus-comp14
  ☆40Updated 6 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆145Updated 4 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆72Updated 7 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated 2 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated 3 months ago
• 222464 / HTSL
  Hierarchical Temporal Sparse Learner
  ☆13Updated 9 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• ondrik / libvata
  VATA Tree Automata Library
  ☆33Updated last year
• HiroakiMikami / deep-coder
  Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
  ☆108Updated 6 years ago
• amitz25 / PCCoder
  Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"
  ☆49Updated 4 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆71Updated 2 years ago
• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• princeton-vl / MetaGen
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆32Updated 4 years ago
• mast-group / convolutional-attention
  Repository for the code of the "A Convolutional Attention Network for Extreme Summarization of Source Code" paper
  ☆119Updated 9 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• lebek / reversible-raytracer
  a fully-differentiable graphical raytracer
  ☆15Updated 10 years ago
• carpedm20 / program-synthesis-rl-tensorflow
  in progress
  ☆72Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 3 months ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆51Updated last year
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 6 months ago
• nadia-polikarpova / cse291-program-synthesis
  Program Synthesis Course
  ☆262Updated last year