Name: jpwang
Type: User
Company: NJU
Bio: DARE MIGHTY THINGS
Location: 南京
Blog: olahiuj.github.io
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
circt
Circuit IR Compilers and Tools
cmm
NJU Compiler Lab
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.
misri
NJU irsim in rust
mymatrix
an implementation of sparse matrix using linked list
ne-solver
Nash Equilibria Solver using python
nju-beamer-sample
Beamer sample for NJUer!
olahiuj
GitHub Profile
olahiuj.github.io
blog
parsir
A parser generator written in C++
project_2048
A 2048 game mini Project with QT
pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
re
简单的正则表达式识别器
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
sponge
CS144 Lab Assignments
svlint
SystemVerilog linter
sysyj
tai-e
An easy-to-learn/use static analysis framework for Java
tapl-hs
Implement type checkers from Types and Programming Languages using haskell
turing
NJU FLA Project
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
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
