Skip to content
@SynthesisLab

SynthesisLab

Synthesis research team in LaBRI, Bordeaux, working on Program Synthesis, Reinforcement Learning, Specification Mining...

Popular repositories Loading

  1. DeepSynth2 DeepSynth2 Public

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

    Python 15 5

  2. Bolt Bolt Public

    Blazingly fast synthesis of LTL formulas!

    Rust 5 1

  3. wikicoder wikicoder Public

    Synthesis of string manipulation programs from examples with outside knowledge!

    Python 3

  4. shepherd shepherd Public

    effectively solving the random population control problem

    Rust 3 1

  5. gpoe gpoe Public

    Grammar Pruning with Observational Equivalence (GPOE)

    Python

Repositories

Showing 5 of 5 repositories
  • DeepSynth2 Public

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

    SynthesisLab/DeepSynth2’s past year of commit activity
    Python 15 MIT 5 0 0 Updated Mar 23, 2025
  • shepherd Public

    effectively solving the random population control problem

    SynthesisLab/shepherd’s past year of commit activity
    Rust 3 1 2 1 Updated Mar 22, 2025
  • gpoe Public

    Grammar Pruning with Observational Equivalence (GPOE)

    SynthesisLab/gpoe’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Mar 20, 2025
  • Bolt Public

    Blazingly fast synthesis of LTL formulas!

    SynthesisLab/Bolt’s past year of commit activity
    Rust 5 MIT 1 0 0 Updated Jan 9, 2025
  • wikicoder Public

    Synthesis of string manipulation programs from examples with outside knowledge!

    SynthesisLab/wikicoder’s past year of commit activity
    Python 3 MIT 0 0 0 Updated Sep 27, 2024

Top languages

Loading…

Most used topics

Loading…