Repositories list

• MBA

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

  synthesismixed-boolean-arithmetic

  synthesismixed-boolean-arithmetic

  C++

  •00 forks•11 star•00 issues•11 pull request•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•33 stars•00 issues•11 pull request•Updated Jun 25, 2026Jun 25, 2026

• BoltLean

  Public
  Lean proofs of the main results in the Bolt paper

  Lean

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 19, 2026Jun 19, 2026

• Bolt

  Public
  Blazingly fast synthesis of LTL formulas!

  ltlltlf

  ltlltlf

  Rust

  •

  MIT License

  •22 forks•1010 stars•11 issue•00 pull requests•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•44 stars•00 issues•00 pull requests•Updated Jan 5, 2026Jan 5, 2026

• DeepSynth

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

  program-synthesiscode-generation

  program-synthesiscode-generation

  Python

  •

  MIT License

  •55 forks•2222 stars•00 issues•00 pull requests•Updated Jan 3, 2026Jan 3, 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•33 stars•00 issues•00 pull requests•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•33 stars•00 issues•00 pull requests•Updated Jan 1, 2026Jan 1, 2026

• shepherd

  Public
  effectively solving the random population control problem

  Rust

  •00 forks•44 stars•1212 issues•00 pull requests•Updated Sep 26, 2025Sep 26, 2025

• grape

  Public
  GRAmmar for Program synthEsis (GRAPE)

  grammarprogram-synthesispruning

  grammarprogram-synthesispruning

  Python

  •

  MIT License

  •11 fork•11 star•22 issues•00 pull requests•Updated Jul 25, 2025Jul 25, 2025