Niklas Een's ABC/ZZ framework
☆24May 14, 2022Updated 3 years ago
Alternatives and similar repositories for abc-zz
Users that are interested in abc-zz are comparing it to the libraries listed below
Sorting:
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆19Jul 12, 2024Updated last year
- Logic synthesis system from UC Berkeley☆47Feb 26, 2025Updated last year
- A logic synthesis tool☆84Sep 8, 2025Updated 5 months ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆1,124Updated this week
- GCC 12 for Darwin with experimental Arm64 support. Current release 12.4-darwin-r0 [June 2024]☆23Jan 19, 2025Updated last year
- Semi-private RTL development upstream of OpenCPI - this is *not* the OpenCPI repo!☆25Oct 19, 2016Updated 9 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆31Jan 17, 2020Updated 6 years ago
- Fundamental Accounting Concept Relations validation for International Financial Reporting Standards (IFRS).☆14Sep 20, 2018Updated 7 years ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- Source Code for 'Arduino Applied: Comprehensive Projects for Everyday Electronics' by Neil Cameron☆13Aug 11, 2020Updated 5 years ago
- Become an expert C++ programmer by solving real-world programming problems☆10Mar 25, 2019Updated 6 years ago
- Torc: Tools for Open Reconfigurable Computing☆39Apr 12, 2017Updated 8 years ago
- Interaction Timeline☆12Feb 16, 2026Updated last week
- PyCharm Test Project created from Django default tutorial☆13Sep 23, 2015Updated 10 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- Arche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies…☆11May 15, 2020Updated 5 years ago
- build and package Inkscape on macOS☆10Dec 11, 2025Updated 2 months ago
- A collection of more or less small code snippets for Siemens S7 controllers☆11Dec 16, 2022Updated 3 years ago
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- Source Code for 'PHP 8 Solutions' by David Powers☆13Oct 26, 2021Updated 4 years ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated 5 months ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- C++ logic network library☆279Sep 30, 2025Updated 5 months ago
- Program for finding low gate count implementations of S-boxes.☆41Oct 22, 2024Updated last year
- Mirror of Apache HTTP Request Library☆11Feb 19, 2024Updated 2 years ago
- Valley of Concordia video game, based upon the Flare Engine☆15Dec 2, 2014Updated 11 years ago
- Parsing Expression Grammar (PEG) bytecode parser/compiler library☆14Jul 3, 2022Updated 3 years ago
- ☆10Jun 4, 2021Updated 4 years ago
- ☆10May 14, 2020Updated 5 years ago
- Flash cards chrome extensions☆13Jul 12, 2022Updated 3 years ago
- rShellZ s a linux reverse-shell & exploitation assistance framework. With lots of payload and post exploitation modules.☆14Dec 13, 2023Updated 2 years ago
- Sphincs+ implementation which uses minimal RAM☆13Aug 31, 2023Updated 2 years ago
- Hardware Division Units☆10Jul 17, 2014Updated 11 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 10 years ago