Monica1211's Stars
greenbellpepper/GreenPepper
alshedivat/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
SalvatoreBarone/pyALS
Python implementation of the catalog-based Aig-rewriting approximate Logic Synthesis technique
scale-lab/BACS
Benchmarks for Approximate Circuit Synthesis
verilog-to-routing/vtr-verilog-to-routing
Verilog to Routing -- Open Source CAD Flow for FPGA Research
openai/spinningup
An educational resource to help anyone learn deep reinforcement learning.
AI4Finance-Foundation/ElegantRL
Massively Parallel Deep Reinforcement Learning. 🔥
ND-SCL/NAQS
microsoft/nni
An open source AutoML toolkit for automate machine learning lifecycle, including feature engineering, neural architecture search, model compression and hyper-parameter tuning.
higgsfield/RL-Adventure
Pytorch Implementation of DQN / DDQN / Prioritized replay/ noisy networks/ distributional values/ Rainbow/ hierarchical RL
ehw-fit/evoapproxlib
Library of approximate arithmetic circuits
albmoriconi/yosys-als
A design space exploration tool for approximate circuits
itayhubara/BinaryNet.pytorch
Binarized Neural Network (BNN) for pytorch
MatthieuCourbariaux/BinaryConnect
Training Deep Neural Networks with binary weights during propagations
itayhubara/BinaryNet
Training Deep Neural Networks with Weights and Activations Constrained to +1 or -1
scale-lab/BLASYS
An Approximate Logic Synthesis Framework based on Boolean Matrix Factorization
KarlsruheMIS/KaMIS
Maximum independent sets and vertex covers of large sparse graphs.
tensorflow/models
Models and examples built with TensorFlow
tensorflow/tpu
Reference models and tools for Cloud TPUs.
Monica1211/MinAC
MinAC: Minimal-Area Approximate Compressor Design Based on Exact Synthesis for Approximate Multipliers
TechXueXi/TechXueXi
强国通 科技强国 学习强国 xuexiqiangguo 全网最好用开源网页学习强国助手:TechXueXi (懒人刷分工具 自动学习)技术强国,支持答题,支持 docker 45分/天
scale-lab/ABACUS
ABACUS is a tool for approximate logic synthesis
SJTU-ECTL/MinSC
MinSC: An Exact Synthesis-Based Method for Minimal-AreaStochastic Circuits under Relaxed Error Bound
lsils/mockturtle
C++ logic network library
nbulsi/also
A logic synthesis tool
Z3Prover/z3
The Z3 Theorem Prover
sterin/mvsis
A copy of the latest version of MVSIS
changmg/espresso
Mirror of espresso, a two-level logic synthesis tool
scottinet/espresso-logic-minimizer
A Node.js bridge to the Espresso heuristic logic minimizer original C code
lsils/bill
C++ header-only reasoning library