Pinned Repositories
ics-wiki
ics-wiki
cmm
NJU Compiler Lab
misri
NJU irsim in rust
olahiuj.github.io
blog
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
olahiuj's Repositories
olahiuj/misri
NJU irsim in rust
olahiuj/RE
简单的正则表达式识别器
olahiuj/cmm
NJU Compiler Lab
olahiuj/Project_2048
A 2048 game mini Project with QT
olahiuj/olahiuj.github.io
blog
olahiuj/sponge
CS144 Lab Assignments
olahiuj/SysYJ
olahiuj/turing
NJU FLA Project
olahiuj/tapl-hs
Implement type checkers from Types and Programming Languages using haskell
olahiuj/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
olahiuj/circt
Circuit IR Compilers and Tools
olahiuj/CompCert
The CompCert formally-verified C compiler
olahiuj/ics-wiki
ics-wiki
olahiuj/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
olahiuj/myMatrix
an implementation of sparse matrix using linked list
olahiuj/NE-solver
Nash Equilibria Solver using python
olahiuj/olahiuj
GitHub Profile
olahiuj/parsir
A parser generator written in C++
olahiuj/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
olahiuj/rtus
The ray tracing in one weekend series programs written in rust
olahiuj/sator
simple Select And Translate tool for linux
olahiuj/sece
NJU SE lab
olahiuj/slang
SystemVerilog compiler and language services
olahiuj/svlint
SystemVerilog linter
olahiuj/Tai-e
An easy-to-learn/use static analysis framework for Java
olahiuj/Tai-e-assignments
Tai-e assignments for static program analysis
olahiuj/verible
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
olahiuj/verilator
Verilator open-source SystemVerilog simulator and lint system
olahiuj/xls
XLS: Accelerated HW Synthesis
olahiuj/yosys
Yosys Open SYnthesis Suite