Stars
The source for the Linux kernel used in Windows Subsystem for Linux 2 (WSL2)
All Algorithms implemented in Python
Windows paravirtualized drivers for QEMU\KVM
An unidentifiable mechanism that helps you bypass GFW.
A platform for building proxies to bypass network restrictions.
Hysteria is a powerful, lightning fast and censorship resistant proxy.
SystemRDL 2.0 language compiler front-end
An open source SDR SDRAM controller based on the AXI4 bus and verified by FPGA and tapeout. It can support memory particles of different manufacturers and models through parameter configuration.
Open-source high performance AXI4-based HyperRAM memory controller
AXI4 Full, Lite, and AxiStream verification components. AXI4 Interface Master, Responder, and Memory verification components. AxiStream transmitter and receiver verification components
AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication
Random instruction generator for RISC-V processor verification
OpenROAD's unified application implementing an RTL-to-GDS Flow. Documentation at https://openroad.readthedocs.io/en/latest/
ASIC Design kit for Skywater 130 for use with mflowgen