Lists (1)
Stars
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Text, samples and website for my 'Effective Shell' series.
Tool for selecting voltage divider components given constraints and a list of available resistors
Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok
[CVPR 2024] Offical implementation for A&B BNN: Add&Bit-Operation-Only Hardware-Friendly Binary Neural Network
A RISC-V software platform, exposing Analogue Pocket capabilities in a simple way
A template for getting started with Analogue Pocket FPGA core development
The Simulation and Image Processing for Photonics and Acoustics (SIMPA) toolkit.
Multi-platform nightly builds of open source digital design and verification tools
Fast Fourier transform in MicroPython's inline ARM assembler.
Google Coding Competitions problem archive
This repository contains all the contents studied and created during the Advanced Physical Design Workshop using OpenLANE and SKY130 PDK
Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates
130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design
Command line German verb conjugation and quiz
A curated list of awesome edge machine learning resources, including research papers, inference engines, challenges, books, meetups and others.
Three-finger-drag support for libinput