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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source code for X. Yang et al., "Fast Predictive Image Registration"☆13Oct 18, 2016Updated 9 years ago
- Tululoo: An open source Javascript Game Maker☆13Oct 19, 2014Updated 11 years ago
- Encoding models for fMRI implemented in tensorflow☆17Mar 20, 2026Updated last week
- An Extensible Framework for Hardware Verification and Debugging☆18Sep 14, 2022Updated 3 years ago
- Rubik's cube solver in javascript☆10Aug 23, 2014Updated 11 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- This repository is outdated and the related functionality has been migrated to https://github.com/easysoc/easysoc-firrtl☆11Nov 3, 2021Updated 4 years ago
- Simple SAT solver with CDCL implemented in Python☆19Jan 5, 2023Updated 3 years ago
- Code and data for the paper "Deconstructing the human algorithms for exploration"☆15May 15, 2019Updated 6 years ago
- Code of "Breaking the Limits of Message Passing Graph Neural Networks" paper published in ICML2021☆42Jun 10, 2021Updated 4 years ago
- Procyon is the brightest star in the constellation of Canis Minor. But it's also the name of my RISC-V out-of-order processor.☆12Apr 6, 2023Updated 2 years ago
- ☆10Mar 24, 2023Updated 3 years ago
- A hardware model checker for hyperproperties☆18Jun 14, 2024Updated last year
- Extending the Neural Graph Algorithm Executor☆13Dec 8, 2022Updated 3 years ago
- Angstrom repository with updated layers file☆11Jul 9, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆10Aug 22, 2023Updated 2 years ago
- GPU for OENG1167 in Verilog HDL for DE10 series boards☆15Nov 1, 2020Updated 5 years ago
- 🕒 Static Timing Analysis diagram renderer☆13Dec 13, 2023Updated 2 years ago
- State-of-the-art in reversible logic synthesis☆25Jul 16, 2016Updated 9 years ago
- Incremental Timing-Driven Placement, problem C of ICCAD contest 2015☆15Sep 28, 2017Updated 8 years ago
- Digital Logic Simulator☆35May 23, 2021Updated 4 years ago
- C Compiler using Lex and Yacc tools☆13Dec 15, 2017Updated 8 years ago
- A simple lexer for javascript☆31Sep 9, 2013Updated 12 years ago
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆31Sep 20, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The Berkeley JSIM superconducting spice simulator☆14Sep 20, 2017Updated 8 years ago
- Some code for calculating cosmological distances☆14Aug 8, 2016Updated 9 years ago
- Common spatial pattern (CSP) is a mathematical procedure used in signal processing for separating a multivariate signal into additive sub…☆19Jul 11, 2019Updated 6 years ago
- ☆10Oct 23, 2016Updated 9 years ago
- A simple compiler front end☆16Oct 2, 2019Updated 6 years ago
- ☆12May 21, 2024Updated last year
- Logic optimization and technology mapping tool.☆20Oct 12, 2023Updated 2 years ago
- ☆14Feb 9, 2024Updated 2 years ago
- eyeriss-chisel3☆41May 2, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- DIY Stackmat Timer for cubing☆11Oct 18, 2020Updated 5 years ago
- Python package using GPU via CUDA for astronomical image reduction☆11Jul 19, 2024Updated last year
- Cortex-M0 DesignStart Wrapper☆23Aug 11, 2019Updated 6 years ago
- Code for the paper 'Monte Carlo Tree Search for Asymmetric Trees'☆12May 24, 2018Updated 7 years ago
- Verilog AST☆20Dec 2, 2023Updated 2 years ago
- 5x5x5 solver☆17Feb 21, 2023Updated 3 years ago
- ☆15Dec 16, 2020Updated 5 years ago