Hengfeng Wei

PaperDiscussion. 本仓库维护DBHammer实验室的讨论班记录

Academic_radar. Python

skills. Skills Catalog for Codex

awesome-codex-skills. A curated list of practical Codex skills for automating workflows across the Codex CLI and API.

CS-Books. 🔥🔥超过1000本的计算机经典书籍、个人笔记资料以及本人在各平台发表文章中所涉及的资源等。书籍资源包括C/C++、Java、Python、Go语言、数据结构与算法、操作系统、后端架构、计算机系统知识、数据库、计算机网络、设计模式、前端、汇编以及校招社招各种面经~

Lecturas_GLC. Readings on computational logic, interactive theorem proving and functional programming.

999-eBooks. "There is no friend as loyal as a book." ― Ernest Hemingway

awesome-math. A curated list of awesome mathematics resources

awesome-data-llm. Official Repository of "LLM × DATA" Survey Paper

awesome-copilot. Community-contributed instructions, agents, skills, and configurations to help you make the most of GitHub Copilot.

vldb25-dist-txns. Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.

duckdb. DuckDB is an analytical in-process SQL database management system

awesome-tikz. A curated list of awesome TikZ documentations, libraries and resources

dbconf2025. 2025 Papers on Verification of Transactional Isolation Levels

bookshelf. Virtual bookshelf for math and computer science.

synchronous-tla-benchmarks. Synchronous fault-tolerant distributed algorithms encoded in TLA+

TLAiBench. TLAi+ Benchmarks

learn-tt. A collection of resources for learning type theory and type theory adjacent fields.

GQL-parser. A GQL parser build with ANTLR v4.

gql-grammar. Graph Query Language (ISO/IEC 39075) Antlr4 Implementation

MDBTLA. High level model for MongoDB consistency

tlaplus-to-ivy. TLA

intuitionistic. Intuitionistic Programming Language

handbook-of-practical-logic-and-automated-reasoning. Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

coq-tla. Coq

awesome-youtubers. An awesome list of awesome YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.

VeriStrong. C++

mcb. Mathematical Components (the Book)

MPCTT. Modeling and Proving in Computational Type Theory

llm-course. Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

analysis. A Lean companion to Analysis I

AIDB. ai4db and db4ai work

ChinaTextbook. 所有小初高、大学PDF教材。

carini. This tool synthesizes symbolic assumptions for TLA+ specifications.

postgres_books.

Fucci. Artifact for the paper "Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving".

videos. Code for the manim-generated scenes used in 3blue1brown videos

ai_all_resources. A curated list of Best Artificial Intelligence Resources

signa. Jupyter Notebook

sqlsmith. A random SQL query generator

sqlancer. Automated testing to find logic and performance bugs in database systems

A-Primer-on-Memory-Consistency-and-Cache-Coherence. A Primer on Memory Consistency and Cache Coherence (Second Edition) 翻译计划

OnJava8-Examples. Code Examples for the book "On Java 8"

DeTikZify. Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ.

Pangu-Weather. An official implementation of Pangu-Weather

Foundations-of-LLMs. A book for Learning the Foundations of LLMs

glib. Read-only mirror of https://gitlab.gnome.org/GNOME/glib

LEWG. Project planning for the C++ Library Evolution Working Group

scimitar. Verification tool for distributed protocols based on inductive proof decomposition.

visualinux. A visualized debugging framework to aid in understanding the Linux kernel.

awesome-theoretical-computer-science. Math & CS awesome List, distinguished by proof and logic technique

linux. Linux kernel source tree

leveldb. LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

sqlite. Official Git mirror of the SQLite source tree

glibc. Unofficial mirror of sourceware glibc repository.

BubbleDetection. Python

cmdbac. CMDBAC - Carnegie Mellon Database Application Catalog

ACSL-Problems-Resources.

acsl-by-example. Public snapshots of "ACSL by Example"

awesome-gpt-store. A curated list of awesome GPTs in the GPT Store

prompts.chat. f.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.

acsl-proved. Fully proved small C functions (examples for verification course).

tlaplus-standard. A collection of various standards, proposed or established, related to TLA+

lincheck. Framework for testing concurrent code on JVM languages

poketree. PokeTree: Binary Search Trees with Pokémon

ml-llvm-project. C++

Time-Series-Library. A Library for Advanced Deep Time Series Models for General Time Series Analysis.

EduChat. An open-source educational chat model from ICALK, East China Normal University. 开源中英教育对话大模型。(通用基座模型，GPU部署，数据清理) 致敬: LLaMA, MOSS, BELLE, Ziya, vLLM

awesome-LLMs-In-China. 中国大模型

start-llms. A complete guide to start and improve your LLM skills in 2026 with little background in the field and stay up-to-date with the latest news and state-of-the-art techniques!

Awesome-Education-LLM. A curated list of LLM researches and applications in education.

Large-Language-Model-Notebooks-Course. Practical course about Large Language Models.

Hands-On-Large-Language-Models. Official code repo for the O'Reilly Book - "Hands-On Large Language Models"

autocomp. Scala

frankenpaxos. A collection of state machine replication protocols

WhiteFox. WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)

HW-Formal-Paper. Recent papers related to hardware formal verification.

TxCheck. A fuzzing framework for finding transactional bugs in DBMSs

IsoVista. Platform for Database Testing

codebuff. Language-agnostic pretty-printing through machine learning (uh, like, is this possible? YES, apparently).

lm-evaluation-harness. A framework for few-shot evaluation of language models.

deep-learning-with-python-notebooks. Jupyter notebooks for the code samples of the book "Deep Learning with Python"

pytorch-deep-learning. Materials for the Learn PyTorch for Deep Learning: Zero to Mastery course.

beginners-pytorch-deep-learning. Repository for scripts and notebooks from the book: Programming PyTorch for Deep Learning

info8010-deep-learning. Lectures for INFO8010 Deep Learning, ULiège

SQLGen. Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.

LR-Parser. Python

llvm-leg. Codeplay's tutorial LLVM LEG backend - as presented at the 2014 LLVM Developers' Meeting in San Jose.

Parse. Compile time (LR) parser generator for C++

PEGTL. Parsing Expression Grammar Template Library

gpt-2. Code for the paper "Language Models are Unsupervised Multitask Learners"

YatCC. 中山大学编译原理课程实验（完全重构版本）

jflap-lib. An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.

CompileDragonBook. Compile Dragon Book + DSL book, etc.

website-antlr4. The ANTLR 4 Website

antlr-cpp. This is the companion repository of the article "Getting started with ANTLR in C++"

riscv-opcodes. RISC-V Opcodes

ALL-training. Training of Adaptive LL(*) Parsing

learn-regex. Learn regex the easy way

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

grammars-v5.

antlr5. Java

Grammar-Kit. Grammar files support & parser/PSI generation for IntelliJ IDEA

chisel-book. Digital Design with Chisel

generative-ai-for-beginners. 21 Lessons, Get Started Building with Generative AI

antlr4-tools. Tools to run antlr4 w/o needing to install java or antlr4!

CoqGym. A Learning Environment for Theorem Proving with the Coq proof assistant

chibicc. A small C compiler

riscv-chisel-book. Scala

sf-lectures. Software Foundations

nidhugg. Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

book-cpp-algorithms. The Standard Algorithms in C++.

lets-prove-leftpad. Proving leftpad correct two-dozen different ways

tesseract. Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)

cpp_weekly. The official C++ Weekly Repository. Code samples and notes of future / past episodes will land here at various times. PR's will be accepted in some cases.

Collections-C. A library of generic data structures for the C language.

Kaleidoscope-LLVM-tutorial-zh-cn. Kaleidoscope tutorial chinese translatio。 Kaleidoscope-llvm教程文档中文翻译。

llvm-kaleidoscope. LLVM Tutorial: Kaleidoscope (Implementing a Language with LLVM)

JFLAP_v8.0. JFLAP version 8.0

codejam. Solutions to problems of Code Jam 2021 and earlier

fb-hackercup-solutions. Own solutions for the annual Facebook / Meta Hacker Cup competition

yacv. Yet Another Compiler Visualizer

manim-automata. Python

jflex. The fast scanner generator for Java™ with full Unicode support

coding-competitions-archive. Google Coding Competitions problem archive

C-Macro-Collections. Easy to use, modular, header only, macro based, generic and type-safe Data Structures in C

redis. For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

postgres. Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

dbbert. DB-BERT tunes database systems for optimal performance, using tuning hints mined from text.

sqltutor. SIGMOD 23 Demo

redisbook1e-gallery. 《Redis 设计与实现》图片集 & 图片源码

redis-3.0-annotated. 带有详细注释的 Redis 3.0 代码（annotated Redis 3.0 source code）。

monticore. MontiCore is a language workbench for an efficient development of domain-specific languages.

ebooks. some books.

sanitizers. AddressSanitizer, ThreadSanitizer, MemorySanitizer

16-Games. 16 Games developed in C++ by YouTuber "FamTrinli". I added CMake support to ease compiling on different platforms.

gena. Generic pseudo-templated containers for C. Written entirely in C89 with design inspired by the C++ STL. /// DOCS ARE SLIGHTLY OUTDATED, PROJECT IS STABLE AND STILL BEING DEVELOPED

reshape. An easy-to-use, zero-downtime schema migration tool for Postgres

awesome-database-learning. A list of learning materials to understand databases internals

awesome-dbdev. Awesome materials about database development.

approachingalmost. Approaching (Almost) Any Machine Learning Problem

smallchat. A minimal programming example for a chat server

ivybench. Collection of Distributed Protocol Verification Problems

Tencent-Paxos-TLA. Specification of the consensus algorithm in Tencent storage system PaxosStore

pdf. 📚 计算机经典编程书籍、大黑书、编程电子书、电子书、编程书籍，包括计算机基础、C/C++、Java、Python、面试题、架构设计、算法系列等经典电子书。

mini-rv32ima. A tiny C header-only risc-v emulator.

specifications. Specifications related to MongoDB

DocsGPT. Private AI platform for agents, assistants and enterprise search. Built-in Agent Builder, Deep research, Document analysis, Multi-model support, and API connectivity for agents.

ShonanArtOfSAT. Schedule for ArtOfSAT

pydgraph. Official Dgraph Python client

awesome-fauna. Curated list of FaunaDB resources

dgraph. high-performance graph database for real-time use cases

yugabyte-db. YugabyteDB - the cloud native distributed SQL database for mission-critical applications.

CobraHome. Shell

SQLParser. An SQL Parser/Lexer for C#

public-student-support-code. Public helper code for p423/p523 students (Racket)

python-student-support-code. Support for for students (Python)

nebula. A distributed, fast open-source graph database featuring horizontal scalability and high availability

awesome-competitive-programming. :gem: A curated list of awesome Competitive Programming, Algorithm and Data Structure resources

awesome-english-ebooks. 经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新

kolasu-tutorial. Kotlin

beamer. A LaTeX class for producing presentations and slides

NJUThesis. 南京大学学位论文模板

research-course. "How to Do Great Research" Course for Ph.D. Students

satch. SAT Solver SATCH

Chat2DB. AI-driven database tool and SQL client, The hottest GUI client, supporting MySQL, Oracle, PostgreSQL, DB2, SQL Server, DB2, SQLite, H2, ClickHouse, and more.

craftinginterpreters. Repository for the book "Crafting Interpreters"

dbcdc-runner. 用于运行基于 CDC 的 Jepsen 测试的执行框架

gpt-engineer. CLI platform to experiment with codegen. Precursor to: https://lovable.dev

OpenLLM. Run any open-source LLMs, such as DeepSeek and Llama, as OpenAI compatible API endpoint in the cloud.

awesome-cloudnative. 💯An awesome & curated list of best applications and tools for Cloud Native.💻

CS-Books-Store. 你想要的计算机经典书籍，这里都有！

rars. RARS -- RISC-V Assembler and Runtime Simulator

awesome-chatgpt-zh. ChatGPT 中文指南🔥，ChatGPT 中文调教指南，指令指南，应用开发指南，精选资源清单，更好的使用 chatGPT 让你的生产力 up up up! 🚀

street-fighter-ai. This is an AI agent for Street Fighter II Champion Edition.

ChatGPTPluginKit. Mathematica

redisraft. A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.

PDCurses. A curses library for environments that don't fit the termcap/terminfo model.

rvalp. RISC-V Assembly Language Programming

riscv-gnu-toolchain. GNU toolchain for RISC-V, including GCC

riscv-isa-sim. Spike, a RISC-V ISA Simulator

riscv-card. An unofficial assembly reference for RISC-V.

smtcoq. Communication between Coq and SAT/SMT solvers

everparse. Automated generation of provably secure, zero-copy parsers from format specifications

MiniGPT-4. Open-sourced codes for MiniGPT-4 and MiniGPT-v2 (https://minigpt-4.github.io, https://minigpt-v2.github.io/)

project-euler-mathematica. Project Euler-Mathematica's goal is to solve Project Euler problems with efficient and elegant Mathematica programs.

gpt4free. The official gpt4free repository | various collection of powerful language models | opus 4.6 gpt 5.3 kimi 2.5 deepseek v3.2 gemini 3

awesome-free-chatgpt. 🆓免费的 ChatGPT 镜像网站列表，持续更新。List of free ChatGPT mirror sites, continuously updated.

CoStar. A parser based on the ALL(*) algorithm, implemented and verified in Coq.

storm. A Modern Probabilistic Model Checker

NJUCS. 2025南京大学计算机科学与技术845考研公共课和专业课资料：数学一、英语一、政治、数据结构、计算机网络、计算机系统基础、操作系统教程、算法设计与分析-包括真题、期末考试、PPT、模拟题、专业课参考书及课后答案、报录比、经验等等

SYsU-lang. A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.

CreuSAT. CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

gpt4all. GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.

koopa. Library for generating/parsing/optimizing Koopa IR.

gpt_academic. 为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

awesome-chatgpt-prompts-zh. ChatGPT 中文调教指南。各种场景使用指南。学习怎么让它听你的话。

SYSU_Notebook. 本项目分享了中山大学计算机学院本科和研究生阶段的课程资料、笔记、期末考试卷和其他实用的相关资源。希望对同学们的学习有所帮助❤️，如果喜欢记得给个star🌟

antlr4. The highly-optimized fork of ANTLR 4 (see README)

antlr4-c3. A grammar agnostic code completion engine for antlr-ng and ANTLR4 based parsers