Super-parallel Python port of the C-Reduce

A versatile (cross-)toolchain generator.

Working draft of the proposed RISC-V V vector extension

PLCT实验室实习生社区。

Tactics for discharging Lean goals into SMT solvers.

A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs

Research prototype tool for modular formal verification of C, Rust and Java programs

njuse 2024面向服务的软件工程课程作业二——Develop with JWS

UB-aware interpreter for LLVM debugging

My curriculum vitae (CV) written using LaTeX.

Static Value-Flow Analysis Framework for Source Code

Precise and high-order static points-to/taint analysis based on LLVM IR.

SAT and SMT

An elegant Microsoft ToDo desktop client for Linux (a fork of Ao)

Reinforcement learning environments for compiler and program optimization tasks

Jsonnet - The data templating language

Collection of Software Engineering and Computing Ⅱ @ Software Institute, Nanjing University

An extensible framework for program autotuning

NJU SE Operating System Homework

Pluto: An automatic polyhedral parallelizer and locality optimizer

NJU version of LLVM

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

An interpreter for Rust's mid-level intermediate representation

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

Software Foundations