fjcamillo / Neural-Representation-of-Logic-FunctionsView external linksLinks
Creating Logic Functions [AND, OR, NOT, XNOR, XOR, NAND, etc] using Neural Network
☆18Oct 28, 2019Updated 6 years ago
Alternatives and similar repositories for Neural-Representation-of-Logic-Functions
Users that are interested in Neural-Representation-of-Logic-Functions are comparing it to the libraries listed below
Sorting:
- QuteRTL: A RTL Front-End Towards Intelligent Synthesis and Verification☆16Nov 8, 2016Updated 9 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- 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
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- Logic optimization and technology mapping tool.☆20Oct 12, 2023Updated 2 years ago
- ☆12May 21, 2024Updated last year
- EDA wiki☆53Mar 1, 2023Updated 2 years ago
- State-of-the-art in reversible logic synthesis☆24Jul 16, 2016Updated 9 years ago
- Selected problems and their solutions from the book on "Machine Intelligence in Design Automation"☆27Dec 9, 2018Updated 7 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Sep 20, 2019Updated 6 years ago
- Hibiscus Sense ESP32 Arduino for IoT applications tutorial and example sketches. The journey begins from the basic of embedded system to …☆16Apr 16, 2025Updated 10 months ago
- EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog☆31Jan 17, 2020Updated 6 years ago
- A Terraria clone in Python, just for fun☆10Jun 7, 2020Updated 5 years ago
- ☆10Oct 23, 2016Updated 9 years ago
- Python package using GPU via CUDA for astronomical image reduction☆11Jul 19, 2024Updated last year
- ☆11Apr 3, 2017Updated 8 years ago
- ☆11Oct 10, 2018Updated 7 years ago
- Digital Logic Simulator☆34May 23, 2021Updated 4 years ago
- Some code for calculating cosmological distances☆14Aug 8, 2016Updated 9 years ago
- Desktop time tracker for JIRA☆12Nov 10, 2022Updated 3 years ago
- STOMP client/server implementation☆35Jan 27, 2026Updated 3 weeks ago
- Sample AWS Lambda function written in Java that connects to a DB via JDBC☆12Jun 30, 2015Updated 10 years ago
- Angstrom repository with updated layers file☆11Jul 9, 2021Updated 4 years ago
- Minimal event-driven framework for Java.☆15Apr 14, 2019Updated 6 years ago
- Quantum Color Centers Analysis Toolbox☆14Jan 28, 2026Updated 2 weeks ago
- High speed filtering of arbitrarily large JSON documents☆10Apr 24, 2023Updated 2 years ago
- ☆40Jun 3, 2023Updated 2 years ago
- High-contrast End-to-End Performance Simulator☆13Feb 9, 2026Updated last week
- Web service for publishing Jasper Reports☆11Sep 15, 2024Updated last year
- Sargon Chess for CP/M☆11May 12, 2021Updated 4 years ago
- [For medium article] Ever wanted to combine Spring Data JPA's streaming capability with JPA Specification? Now you can.☆12Mar 3, 2020Updated 5 years ago
- Example Proteus Project☆11May 27, 2020Updated 5 years ago
- Jexxa - A Ports and Adapters Framework for Java☆13Updated this week
- 5x5x5 solver☆17Feb 21, 2023Updated 2 years ago
- Incremental Timing-Driven Placement, problem C of ICCAD contest 2015☆15Sep 28, 2017Updated 8 years ago
- COSI's second data challenge☆10Jan 6, 2025Updated last year
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- Controlled Invariant Sets in Two Moves☆14Dec 21, 2021Updated 4 years ago
- MEGARA (Multi-Espectrógrafo en GTC de Alta Resolución para Astronomía) is a facility instrument designed for the 10.4m GTC telescope in L…☆16Updated this week