A design automation framework to engineer decision diagrams yourself
☆27Oct 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for freddy
Users that are interested in freddy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PyCacheGen: A Highly Configurable Open-Source Generator for Synthesizable Caches☆18Dec 14, 2025Updated 10 months ago
- Silicon Dangling Bond Layouts☆10Oct 2, 2024Updated 2 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Layout and simulation files of the paper "QuickSim: Efficient and Accurate Physical Simulation of Silicon Dangling Bond Logic" by J. Drew…☆10Mar 6, 2023Updated 3 years ago
- A collection of reusable GitHub workflows used throughout the MQT☆11Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Interface Library for SAT/SMT Abstractions written in C++☆13Oct 5, 2026Updated 3 weeks ago
- MNT Bench - An MNT tool for Benchmarking FCN circuits☆14Updated this week
- Virtual Prototype for identifying Application Specific Hardware Optimization candidates☆12Oct 27, 2026Updated last week
- ☆14May 7, 2024Updated 2 years ago
- Set up a specific version of the Z3 theorem prover☆14Oct 21, 2026Updated last week
- ☆16Oct 21, 2026Updated last week
- Physical Simulation Engines for Silicon Dangling Bonds☆18Oct 21, 2026Updated last week
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 4 years ago
- MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing☆28Oct 26, 2026Updated last week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Zhuofan Lin and Shiju Lin, "GPU-Accelerated Efficient Transduction for Logic Optimization", Design, Automation & Test in Europe Conferenc…☆14Sep 19, 2026Updated last month
- NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.☆20Updated this week
- Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. W…☆20May 19, 2023Updated 3 years ago
- Service provider for the MQT on the PlanQK platform☆17Sep 20, 2026Updated last month
- ☆17Nov 10, 2023Updated 2 years ago
- MQT library to handle quantum circuits with mixed dimensions☆17Oct 19, 2026Updated 2 weeks ago
- MQT NAViz - A Visualizer for Neutral Atom Quantum Computers☆18Oct 27, 2026Updated last week
- ☆18May 7, 2024Updated 2 years ago
- MQT DASQA - Designer for Superconducting Quantum Architectures☆21Mar 14, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MQT ZX - A library for working with ZX-diagrams☆18Jun 15, 2023Updated 3 years ago
- A Boolean circuit minimizer☆18Sep 14, 2026Updated last month
- iFCN: Automated Design Platform for Molecular FCN Circuits☆15Sep 13, 2026Updated last month
- MQT Debugger - A Semi-automated Tool for Debugging Quantum Programs☆21Oct 26, 2026Updated last week
- MQT SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits☆39Oct 26, 2026Updated last week
- A tool for mapping qubits on a qudit architecture of preferred size☆20Oct 26, 2026Updated last week
- A modular Lustre to C / Horn clauses compiler☆22Nov 17, 2018Updated 7 years ago
- F4 algorithm C++ library (groebner basis computations over finite fields)☆14Apr 6, 2018Updated 8 years ago
- ☆10Sep 18, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in de…☆27Oct 26, 2026Updated last week
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Dec 6, 2020Updated 5 years ago
- For GL-iNET SF1200/SFT1200☆18Mar 15, 2024Updated 2 years ago
- A framework for the automatic generation of QUBO formulations for optimization problems.☆29Jul 3, 2026Updated 4 months ago
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking☆14Feb 9, 2026Updated 8 months ago
- The Munich Quantum Toolkit☆31Updated this week