Repositories list

• DeepSynth

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

  program-synthesiscode-generation

  program-synthesiscode-generation

  Python

  •

  MIT License

  •55 forks in SynthesisLab/DeepSynth•2525 stars in SynthesisLab/DeepSynth•00 issues in SynthesisLab/DeepSynth•00 pull requests in SynthesisLab/DeepSynth•Updated Nov 8, 2026Nov 8, 2026

• SIMBA

  Public
  SImple MBA expression learning

  C++

  •

  MIT License

  •00 forks in SynthesisLab/SIMBA•00 stars in SynthesisLab/SIMBA•00 issues in SynthesisLab/SIMBA•00 pull requests in SynthesisLab/SIMBA•Updated Oct 20, 2026Oct 20, 2026

• MBA

  Public
  High-performance Mixed Boolean-Arithmetic (MBA) expression synthesis tool

  synthesismixed-boolean-arithmetic

  synthesismixed-boolean-arithmetic

  C++

  •00 forks in SynthesisLab/MBA•11 star in SynthesisLab/MBA•00 issues in SynthesisLab/MBA•11 pull request in SynthesisLab/MBA•Updated Jul 10, 2026Jul 10, 2026

• bordax

  Public
  A High-Performance JAX Framework for Programmatic Reinforcement Learning

  reinforcement-learningrljax

  reinforcement-learningrljax

  Python

  •

  MIT License

  •11 fork in SynthesisLab/bordax•44 stars in SynthesisLab/bordax•00 issues in SynthesisLab/bordax•11 pull request in SynthesisLab/bordax•Updated Jun 25, 2026Jun 25, 2026

• BoltLean

  Public
  Lean proofs of the main results in the Bolt paper

  Lean

  •00 forks in SynthesisLab/BoltLean•00 stars in SynthesisLab/BoltLean•00 issues in SynthesisLab/BoltLean•00 pull requests in SynthesisLab/BoltLean•Updated Jun 19, 2026Jun 19, 2026

• Bolt

  Public
  Blazingly fast synthesis of LTL formulas!

  ltlltlf

  ltlltlf

  Rust

  •

  MIT License

  •22 forks in SynthesisLab/Bolt•1111 stars in SynthesisLab/Bolt•11 issue in SynthesisLab/Bolt•00 pull requests in SynthesisLab/Bolt•Updated Jun 9, 2026Jun 9, 2026

• LTLf_Learning_Benchmarks

  Public
  The largest curated benchmark suite for LTLf (Linear Temporal Logic on Finite Traces) Learning.

  learningltltemporal-logic+ 2

  learningltltemporal-logicspecification-by-exampleltlf

  Python

  •00 forks in SynthesisLab/LTLf_Learning_Benchmarks•44 stars in SynthesisLab/LTLf_Learning_Benchmarks•00 issues in SynthesisLab/LTLf_Learning_Benchmarks•00 pull requests in SynthesisLab/LTLf_Learning_Benchmarks•Updated Jan 5, 2026Jan 5, 2026

• VFB

  Public
  A CUDA-based tool for synthesizing Linear Temporal Logic (LTL) formulas from positive and negative trace examples using GPU acceleration.

  cudaltlsynthesis+ 2

  cudaltlsynthesistemporal-logicltlf

  C++

  •00 forks in SynthesisLab/VFB•33 stars in SynthesisLab/VFB•00 issues in SynthesisLab/VFB•00 pull requests in SynthesisLab/VFB•Updated Jan 1, 2026Jan 1, 2026

• Wikicoder

  Public
  Synthesis of string manipulation programs from examples with external knowledge

  program-synthesisknowledge-graph

  program-synthesisknowledge-graph

  Python

  •

  MIT License

  •00 forks in SynthesisLab/Wikicoder•33 stars in SynthesisLab/Wikicoder•00 issues in SynthesisLab/Wikicoder•00 pull requests in SynthesisLab/Wikicoder•Updated Jan 1, 2026Jan 1, 2026

• shepherd

  Public
  effectively solving the random population control problem

  Rust

  •00 forks in SynthesisLab/shepherd•44 stars in SynthesisLab/shepherd•1212 issues in SynthesisLab/shepherd•00 pull requests in SynthesisLab/shepherd•Updated Sep 26, 2025Sep 26, 2025

• grape

  Public
  GRAmmar for Program synthEsis (GRAPE)

  grammarprogram-synthesispruning

  grammarprogram-synthesispruning

  Python

  •

  MIT License

  •11 fork in SynthesisLab/grape•11 star in SynthesisLab/grape•22 issues in SynthesisLab/grape•00 pull requests in SynthesisLab/grape•Updated Jul 25, 2025Jul 25, 2025