Mohamed Gaber's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
BitNetMCU
Neural Networks with low bit weights on a CH32V003 RISC-V Microcontroller without multiplication
caravel_user_project
https://caravel-user-project.readthedocs.io
chipon
PyTorch to Verilog transpiler
DFFRAM
Standard Cell Library based Memory Compiler using DFF cells
eqy
Equivalence checking with Yosys
fossi-foundation.github.io
FOSSi Foundation Website
homebrew-lemon-graph
Homebrew tap for the Library for Efficient Modeling and Optimization in Networks
milp-formulation
Mixed-Integer Linear Program/SciPy Demo
netgen
Netgen complete LVS tool for comparing SPICE or verilog netlists
sinowealth-kb-tool
A tool to program sinowealth mcu based keyboards
tinytapeout-07
Tiny Tapeout 7
TrueBreath
proof-of-concept respiratory rate measurement using TrueDepth
UVC-Viewer
UVC Device "Viewfinder"
volare
Version manager (and builder) for the Google sky130 and gf180mcu open-source PDKs
woset-workshop.github.io
Workshop on Open-Source EDA Technology (WOSET)