An axiom-free formalization of category theory in Coq for personal study and practical work

A FABulous FPGA utilizing the Panamax padframe

A graphical processor simulator and assembly editor for the RISC-V ISA

Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

OpenWiFi uCentral-based radio resource management (RRM) service

open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software

The Standard Algorithms in C++.

130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design. Documentation is here:

IIC-OSIC-TOOLS is an all-in-one Docker image for SKY130/GF180/IHP130-based analog and digital chip design. AMD64 and ARM64 are natively supported.

Puzzles for learning Triton

A scalable, distributed, collaborative, document-graph database, for the realtime web

☎️ UART Communication Implementation in Verilog HDL

Notes I made on RTL design and verification. Currently has verilog, system verilog and formal verification notes

C language algorithms for digital signal processing

Implementation of several common digital communication protocols, to be used in FPGAs.

We propose an HLS-based implementation of SVMs for classification tasks. We present an optimized architecture for the SVM kernel function, which is a critical component of the algorithm. We also ev…

OTFS Modulation FPGA Implementation (Verilog Version)

This repository contains a curated collection of 300+ case studies from over 80 companies, detailing practical applications and insights into machine learning (ML) system design. The contents are o…

MATLAB Code for MIMO-OFDM Wireless Communications with MATLAB | MIMO-OFDM无线通信技术及MATLAB实现

A set of hands-on tutorials for CUDA programming

A collection of Digital Signal Processing notebooks with a wireless communications theme.

Notebooks for "Python for Signal Processing" book

Lightweight, useful implementation of conformal prediction on real data.

A curated list of project-based tutorials in C

10Gb Ethernet Switch

Multi-platform nightly builds of open source digital design and verification tools