SaltedFishLZ

flying-search

Final project for CodeU 2016: an improved search engine by team FLyiNg.

fastapi-react

🚀 Cookiecutter Template for FastAPI + React Projects. Using PostgreSQL, SQLAlchemy, and Docker

ChatRWKV

ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.

interpret

InterPRET

xplain

Interactive demos

Graphite

A parallel, distributed simulator for multicores.

EleNetX

Netlist parsers of different VLSI netlist files

ParMe

byoc

The OpenPiton Platform

esp

Embedded Scalable Platforms: Heterogeneous SoC architecture and IP integration made easy

conifer

Fast inference of Boosted Decision Trees in FPGAs

alpa

Training and serving large-scale neural networks with auto parallelization.

YALMIP

MATLAB toolbox for optimization modeling

simanneal

Python module for Simulated Annealing optimization

pkuzhou.github.io

hdl-tools

Facilitates building open source tools for working with hardware description languages (HDLs)

netlistsvg

draws an SVG schematic from a JSON netlist

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

oh

Verilog library for ASIC and FPGA designers

Chaco

powerful-benchmarker

A library for ML benchmarking. It's powerful.

chinese-programmer-wrong-pronunciation

**程序员容易发音错误的单词

zephyr

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

mirror-list

list of Chinese mainland mirrors

riscv-newlib

RISC-V port of newlib

verilator

Verilator open-source SystemVerilog simulator and lint system

lf-flexpret-scripts

LF/FlexPRET project misc scripts

chipyard

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

CPSGrader