jpwang's repositories
Project_2048
A 2048 game mini Project with QT
tapl-hs
Implement type checkers from Types and Programming Languages using haskell
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
circt
Circuit IR Compilers and Tools
CompCert
The CompCert formally-verified C compiler
english-wordlists
常用英语词汇表
ics-wiki
ics-wiki
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
myMatrix
an implementation of sparse matrix using linked list
NE-solver
Nash Equilibria Solver using python
olahiuj
GitHub Profile
parsir
A parser generator written in C++
Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
rtus
The ray tracing in one weekend series programs written in rust
sator
simple Select And Translate tool for linux
sece
NJU SE lab
slang
SystemVerilog compiler and language services
svlint
SystemVerilog linter
Tai-e
An easy-to-learn/use static analysis framework for Java
verible
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
verilator
Verilator open-source SystemVerilog simulator and lint system
xls
XLS: Accelerated HW Synthesis
yosys
Yosys Open SYnthesis Suite