sampsyo / minisynthView external linksLinks
program synthesis is possible
☆40Sep 28, 2019Updated 6 years ago
Alternatives and similar repositories for minisynth
Users that are interested in minisynth are comparing it to the libraries listed below
Sorting:
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- ☆11Jul 1, 2025Updated 7 months ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- ☆12Oct 22, 2021Updated 4 years ago
- ☆19Feb 22, 2017Updated 8 years ago
- Open-source AI acceleration on FPGA: from ONNX to RTL☆48Jan 5, 2026Updated last month
- Guiding Program Synthesis by Learning to Generate Examples☆13Jul 23, 2023Updated 2 years ago
- An open-source Simulation Trace Format specification☆15Nov 12, 2025Updated 3 months ago
- A BASIC to Brainf**k compiler written in Rust☆12Jan 15, 2018Updated 8 years ago
- Poise source code repo☆12Aug 12, 2020Updated 5 years ago
- A Generic Distributed Auto-Tuning Infrastructure☆24Jul 29, 2021Updated 4 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- ☆15Jan 19, 2021Updated 5 years ago
- Planet: A unified sampling-based approach to integrated task and motion planning☆16Jul 9, 2020Updated 5 years ago
- HeteroSim is a full system simulator supporting x86 multicore processors combined with a FPGA via bus-based architecture. Flexible design…☆21Jul 11, 2016Updated 9 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆22Sep 17, 2025Updated 4 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- ☆27Mar 31, 2025Updated 10 months ago
- A Deep-Reinforcement-Learning-Based Scheduler for FPGA HLS☆15Feb 27, 2021Updated 4 years ago
- Guile with tracing JIT VM.☆15Oct 13, 2016Updated 9 years ago
- Human-oriented abstract syntax tree (AST) parser/unparser for Python 3 that doesn't discard comments.☆16Oct 29, 2019Updated 6 years ago
- The release for paper "Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designs"☆15Oct 3, 2024Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 years ago
- Tutorial for integrating PyMTL and Vivado HLS☆19Apr 17, 2016Updated 9 years ago
- An implementation of Blue Book Smalltalk-80☆17May 11, 2021Updated 4 years ago
- Synthesize Verilog to Minecraft redstone☆21Nov 9, 2024Updated last year
- ☆20Jun 23, 2024Updated last year
- ☆18Sep 2, 2020Updated 5 years ago
- ☆19Jul 12, 2024Updated last year
- A fast and certifying solver for quantified Boolean formulas.☆26Apr 29, 2025Updated 9 months ago
- TMIT*☆21Aug 20, 2024Updated last year
- PyTorch compilation tutorial covering TorchScript, torch.fx, and Slapo☆17Mar 13, 2023Updated 2 years ago
- ☆21Nov 18, 2022Updated 3 years ago
- This is my masters thesis project☆16Sep 5, 2022Updated 3 years ago
- ☆19Dec 29, 2014Updated 11 years ago
- RTLCheck☆25Oct 9, 2018Updated 7 years ago
- Multi-Agent Systems Course 2017 - MSc Artificial Intelligence @ UvA☆18Dec 30, 2017Updated 8 years ago
- Python DSL for writing PDDL☆25Aug 13, 2021Updated 4 years ago
- Integer Multiplier Generator for Verilog☆23Jul 4, 2025Updated 7 months ago