Pinned Loading

1. DeepSynth DeepSynth Public

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

   Python 20 5

2. Bolt Bolt Public

   Blazingly fast synthesis of LTL formulas!

   Rust 7 1

3. Wikicoder Wikicoder Public

   Synthesis of string manipulation programs from examples with external knowledge

   Python 3

4. bordax bordax Public

   A High-Performance JAX Framework for Programmatic Reinforcement Learning

   Python 2

5. MBA MBA Public

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

   C++ 1

6. VFB VFB Public

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

   C++ 2