Repositories list

• DeepSynth2

  Public
  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

  code-generationprogram-s

  Python

  •

  MIT License

  •5•14•0•0•Updated Feb 19, 2025Feb 19, 2025

• Bolt

  Public
  Blazingly fast synthesis of LTL formulas!

  Rust

  •

  MIT License

  •1•5•0•0•Updated Jan 9, 2025Jan 9, 2025

• shepherd

  Public
  effectively solving the random population control problem

  0•1•3•0•Updated Nov 23, 2024Nov 23, 2024

• wikicoder

  Public
  Synthesis of string manipulation programs from examples with outside knowledge!

  program-synthesisknowledge-graph

  Python

  •

  MIT License

  •0•3•0•0•Updated Sep 27, 2024Sep 27, 2024