-
Peking University
-
03:49
(UTC +08:00) - https://uv-xiao.github.io/
- @youwei_xiao
- in/youwei-xiao-070113282
Lists (7)
Sort Name ascending (A-Z)
Stars
- All languages
- ASL
- Assembly
- Bluespec
- C
- C++
- CSS
- Clojure
- Coq
- Cuda
- Dart
- Emacs Lisp
- FIRRTL
- Fortran
- Gnuplot
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lua
- MDX
- MLIR
- Makefile
- Mojo
- OCaml
- Python
- R
- Racket
- RobotFramework
- Rocq Prover
- Rust
- SCSS
- Sail
- Scala
- Shell
- SystemVerilog
- TL-Verilog
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
Open-source high-performance RISC-V processor
Chisel: A Modern Hardware Design Language
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
SonicBOOM: The Berkeley Out-of-Order Machine
GPGPU processor supporting RISCV-V extension, developed with Chisel HDL
Flexible Intermediate Representation for RTL
A python-ish pure and total functional programming language
Operations for primitive and String singleton types
A dynamic verification library for Chisel.
UCLID5: formal modeling, verification, and synthesis of computational systems
Get the name of an variable, function, class member, or type as a string--at compile-time!
Time-sensitive affine types for predictable hardware generation
Artifacts for Cascade: CPU Fuzzing via Intricate Program Generation (USENIX Security 2024)
Example code to accompany shapeless-guide.
Provides dot visualizations of chisel/firrtl circuits
A eDSL framework based on Scala and MLIR, focusing on the Hardware design.
Cluster-level matrix unit integration into GPUs, implemented in Chipyard SoC
OpenXiangShan / XSAI
Forked from OpenXiangShan/XiangShanA fork of Xiangshan for AI
Hands-On Scala Programming [Video], published by Packt
Polyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model