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 16 5

  2. Bolt Bolt Public

    Blazingly fast synthesis of LTL formulas!

    Rust 5 1

  3. shepherd shepherd Public

    effectively solving the random population control problem

    Rust 4 1

  4. wikicoder wikicoder Public

    Synthesis of string manipulation programs from examples with outside knowledge!

    Python 3

  5. grape grape Public

    GRAmmar for Program synthEsis (GRAPE)

    Python 1

Repositories

Showing 5 of 5 repositories
  • shepherd Public

    effectively solving the random population control problem

    SynthesisLab/shepherd’s past year of commit activity
    Rust 4 1 10 0 Updated Apr 11, 2025
  • grape Public

    GRAmmar for Program synthEsis (GRAPE)

    SynthesisLab/grape’s past year of commit activity
    Python 0 MIT 1 3 0 Updated Apr 10, 2025
  • DeepSynth2 Public

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

    SynthesisLab/DeepSynth2’s past year of commit activity
    Python 16 MIT 5 0 0 Updated Apr 1, 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…