8000 hengxin (Hengfeng Wei (魏恒峰)) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View hengxin's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report hengxin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
Coq 27 1 Updated Mar 4, 2024

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

Markdown 6,719 471 Updated Mar 1, 2025
C++ 1 Updated Jul 2, 2025

Mathematical Components (the Book)

TeX 146 26 Updated Nov 14, 2023

Modeling and Proving in Computational Type Theory

Rocq Prover 101 12 Updated Jul 11, 2025

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

57,224 6,162 Updated Jun 4, 2025

A Lean companion to Analysis I

Lean 903 111 Updated Jul 11, 2025

ai4db and db4ai work

793 91 Updated Dec 26, 2024

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

Roff 44,492 9,949 Updated May 18, 2025

This tool synthesizes symbolic assumptions for TLA+ specifications.

Java 2 Updated Jun 12, 2025

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

Java 4 Updated Jul 7, 2024

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

Python 9,543 1,931 Updated May 5, 2025

A curated list of Best Artificial Intelligence Resources

Jupyter Notebook 1,232 281 Updated Jun 13, 2025
Jupyter Notebook 136 75 Updated Apr 23, 2025

A random SQL query generator

C++ 796 134 Updated Jan 5, 2024

Automated testing to find logic and performance bugs in database systems

Java 1,615 366 Updated Jun 18, 2025

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

256 45 Updated May 5, 2024

Code Examples for the book "On Java 8"

Java 3,146 1,155 Updated Jul 19, 2023

An official implementation of Pangu-Weather

Python 1,228 224 Updated Jan 12, 2024

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

C 1,656 554 Updated Jul 11, 2025

Project planning for the C++ Library Evolution Working Group

96 21 Updated Sep 15, 2020

C++ standards drafts

TeX 5,886 778 Updated Jul 10, 2025

Verification tool for distributed protocols based on inductive proof decomposition.

TLA 8 Updated May 14, 2025

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

C 136 13 Updated Jul 11, 2025

The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

Python 881 53 Updated Mar 3, 2025

Linux kernel source tree

C 197,441 56,897 Updated Jul 11, 2025

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

C++ 37,863 8,035 Updated Jan 30, 2025
Next
0