Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
binbinxiang.github.io
ChezScheme
Chez Scheme
chisel3
Chisel 3: A Modern Hardware Design Language
eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
fpga
The USRP™ Hardware Driver FPGA Repository
numpy-ml
Machine learning, in numpy
SpinalHDL
Scala based HDL
uhd
The USRP™ Hardware Driver Repository
yscheme
a compiler from Scheme into X64
binbinxiang's Repositories
binbinxiang/binbinxiang.github.io
binbinxiang/chisel3
Chisel 3: A Modern Hardware Design Language
binbinxiang/eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
binbinxiang/fpga
The USRP™ Hardware Driver FPGA Repository
binbinxiang/numpy-ml
Machine learning, in numpy
binbinxiang/SpinalHDL
Scala based HDL
binbinxiang/uhd
The USRP™ Hardware Driver Repository
binbinxiang/yscheme
a compiler from Scheme into X64
binbinxiang/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
binbinxiang/ChezScheme
Chez Scheme
binbinxiang/ClickHouse
ClickHouse® is a free analytics DBMS for big data
binbinxiang/cudd
Fabio Somenzi's CUDD package mirror
binbinxiang/lightsabers
They contain so few lines of code, yet so few people get them right.
binbinxiang/minisat
A minimalistic and high-performance SAT solver
binbinxiang/nanopass-framework-scheme
The new nanopass framework; an embedded DSL for writing compilers in Scheme
binbinxiang/openpiton
The OpenPiton Platform
binbinxiang/skywater-pdk
Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
binbinxiang/test
test git
binbinxiang/test1
test
binbinxiang/verilator
Verilator open-source SystemVerilog simulator and lint system
binbinxiang/yosys
Yosys Open SYnthesis Suite