A Node.js bridge to the Espresso heuristic logic minimizer original C code
☆41Dec 7, 2022Updated 3 years ago
Alternatives and similar repositories for espresso-logic-minimizer
Users that are interested in espresso-logic-minimizer are comparing it to the libraries listed below
Sorting:
- A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.☆168Apr 11, 2020Updated 5 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Logic Minimization in Python☆26Feb 23, 2026Updated 2 weeks ago
- C# Implementation of Finger Tree☆13Mar 28, 2017Updated 8 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- The Vala Compiler, ported to C#☆16Jun 23, 2018Updated 7 years ago
- C++ Library for Quantum State Preparation (QSP)☆12Jan 5, 2023Updated 3 years ago
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- Benchmarking Suite for BDD packages☆22Jan 30, 2026Updated last month
- Convert C files into Verilog☆21Jan 27, 2019Updated 7 years ago
- Formal semantics of BSV (Bluespec SystemVerilog), given as a Haskell Program and accompanying document☆18Jul 17, 2016Updated 9 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- ☆19Jul 12, 2024Updated last year
- Simple Verilog Parser In Python☆15Dec 31, 2017Updated 8 years ago
- An Extensible Framework for Hardware Verification and Debugging☆18Sep 14, 2022Updated 3 years ago
- Libre Silicon Compiler☆22Apr 13, 2021Updated 4 years ago
- Boolean Expressions☆21Nov 5, 2018Updated 7 years ago
- DATuner Repository☆17Sep 9, 2018Updated 7 years ago
- Useful utilities for BAR projects☆32Jan 3, 2024Updated 2 years ago
- 🔁 elastic circuit toolchain☆32Dec 2, 2024Updated last year
- Structural code transformations for the masses.☆114Feb 27, 2019Updated 7 years ago
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 5 years ago
- An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization☆32Nov 13, 2023Updated 2 years ago
- Semi-private RTL development upstream of OpenCPI - this is *not* the OpenCPI repo!☆25Oct 19, 2016Updated 9 years ago
- Use Kodi python APIs in C#, and write rich addons using the .NET framework/Mono☆31Feb 4, 2025Updated last year
- Kansas Lava☆50Oct 6, 2019Updated 6 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆38Mar 25, 2025Updated 11 months ago
- A Python implementation of the Hopfield network used to solve the traveling salesman problem☆10Apr 11, 2019Updated 6 years ago
- A library of cross platform C# data structures. Generic B-tree written in C#, which can be replaced with NoSQL database stored in the mem…☆35May 1, 2018Updated 7 years ago
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- nodejs bindings for libclang☆54Mar 7, 2020Updated 6 years ago
- HPA2021 solution (3rd place)☆10Oct 13, 2021Updated 4 years ago
- Face Verification Example with Flower / Federated Learning☆12Apr 3, 2023Updated 2 years ago
- Convolutional Channel-wise Competitive Learning for the Forward-Forward Algorithm. AAAI 2024☆12Jun 27, 2024Updated last year
- A standalone structural (gate-level) verilog parser☆40Feb 2, 2026Updated last month
- A logic synthesis tool☆84Sep 8, 2025Updated 6 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- Interactive Disassembler☆43Jun 5, 2015Updated 10 years ago
- An Ionic/Capacitor app that demos the features of the @aparajita/capacitor-secure-storage Capacitor plugin.☆14Jul 3, 2025Updated 8 months ago