Mohamed Gaber's repositories
caravel_user_project
https://caravel-user-project.readthedocs.io
homebrew-lemon-graph
Homebrew tap for the Library for Efficient Modeling and Optimization in Networks
tinytapeout-07
Tiny Tapeout 7
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
DFFRAM
Standard Cell Library based Memory Compiler using DFF cells
eqy
Equivalence checking with Yosys
fossi-foundation.github.io
FOSSi Foundation Website
milp-formulation
Mixed-Integer Linear Program/SciPy Demo
nix-portable
Nix - Static, Permissionless, Installation-free, Pre-configured
quaigh
Logic circuit analysis and optimization
sinowealth-kb-tool
A tool to program sinowealth mcu based keyboards
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)