Pinned Repositories
cmm
NJU Compiler Lab
jjppp.github.io
blog
misri
NJU irsim in rust
Project_2048
A 2048 game mini Project with QT
RE
简单的正则表达式识别器
sponge
CS144 Lab Assignments
SysYJ
tapl-hs
Implement type checkers from Types and Programming Languages using haskell
turing
NJU FLA Project
ics-wiki
ics-wiki
jjppp's Repositories
jjppp/misri
NJU irsim in rust
jjppp/RE
简单的正则表达式识别器
jjppp/cmm
NJU Compiler Lab
jjppp/jjppp.github.io
blog
jjppp/sponge
CS144 Lab Assignments
jjppp/SysYJ
jjppp/turing
NJU FLA Project
jjppp/tapl-hs
Implement type checkers from Types and Programming Languages using haskell
jjppp/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
jjppp/circt
Circuit IR Compilers and Tools
jjppp/CompCert
The CompCert formally-verified C compiler
jjppp/ics-wiki
ics-wiki
jjppp/java-benchmarks
jjppp/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
jjppp/NJU-DisSys-2017
Distributed System, Fall 2017, CS@NJU
jjppp/parsir
A parser generator written in C++
jjppp/PyCG
Static Python call graph generator
jjppp/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
jjppp/rtus
The ray tracing in one weekend series programs written in rust
jjppp/sece
NJU SE lab
jjppp/slang
SystemVerilog compiler and language services
jjppp/slides
Personal presentation
jjppp/svlint
SystemVerilog linter
jjppp/Tai-e
An easy-to-learn/use static analysis framework for Java
jjppp/Tai-e-assignments
Tai-e assignments for static program analysis
jjppp/verible
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
jjppp/verilator
Verilator open-source SystemVerilog simulator and lint system
jjppp/xls
XLS: Accelerated HW Synthesis
jjppp/yosys
Yosys Open SYnthesis Suite
jjppp/ysyx-workbench