Repositories list

• LTLf_Learning_Benchmarks

  Public
  The largest and curated benchmark repository for LTLf Learning

  learningltltemporal-logic+ 2specification-by-exampleltlf

  Python

  •0•3•0•0•Updated Jan 5, 2026Jan 5, 2026

• DeepSynth

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

  program-synthesiscode-generation

  Python

  •

  MIT License

  •5•20•0•0•Updated Jan 3, 2026Jan 3, 2026

• MBA

  Public

  SynthesisLab/MBA’s past year of commit activity
  High-performance Mixed Boolean-Arithmetic (MBA) expression synthesis tool

  synthesismixed-boolean-arithmetic

  C++

  •0•1•0•1•Updated Jan 1, 2026Jan 1, 2026

• VFB

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

  cudaltlsynthesis+ 2temporal-logicltlf

  C++

  •0•2•0•0•Updated Jan 1, 2026Jan 1, 2026

• Wikicoder

  Public
  Synthesis of string manipulation programs from examples with external knowledge

  program-synthesisknowledge-graph

  Python

  •

  MIT License

  •0•3•0•0•Updated Jan 1, 2026Jan 1, 2026

• Bolt

  Public
  Blazingly fast synthesis of LTL formulas!

  ltlltlf

  Rust

  •

  MIT License

  •1•7•1•0•Updated Jan 1, 2026Jan 1, 2026

• bordax

  Public
  A High-Performance JAX Framework for Programmatic Reinforcement Learning

  reinforcement-learningrljax

  Python

  •

  MIT License

  •0•2•0•0•Updated Dec 17, 2025Dec 17, 2025

• shepherd

  Public
  effectively solving the random population control problem

  Rust

  •0•3•12•0•Updated Sep 26, 2025Sep 26, 2025

• grape

  Public
  GRAmmar for Program synthEsis (GRAPE)

  grammarprogram-synthesispruning

  Python

  •

  MIT License

  •1•1•2•0•Updated Jul 25, 2025Jul 25, 2025