-
Nanjing University (南京大学)
- Nanjing University
-
04:11
(UTC +08:00) - https://hengxin.github.io/
- https://orcid.org/0000-0002-0427-9710
Highlights
Lists (25)
Sort Name ascending (A-Z)
💻 algorithms
📚 Books
C/CPP
Code Reading
💻 Compilers
💻 Computer Systems
💯 Coq
🪜 Courses
💻 Databases
Distributed Computing
Formal Methods
🔮 Future ideas
🏪 gallery
✨ Inspiration
Java
📖 Libraries
🧰 LLM
LLVM
ML
Machine LearningMy Projects
🚀 My stack
Paper-List
Research
RISC-V
TLA+
- All languages
- ANTLR
- Agda
- Alloy
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dafny
- Dockerfile
- Dylan
- Erlang
- F*
- FreeMarker
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Makefile
- Markdown
- Mathematica
- OCaml
- PHP
- Prolog
- Pug
- Python
- RPC
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- SystemVerilog
- TLA
- TeX
- TypeScript
- Vim Script
- Vue
- Yacc
- Zig
Starred repositories
An awesome list of awesome YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.
Modeling and Proving in Computational Type Theory
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
cmu-soda / carini
Forked from cmu-soda/recomp-verifyThis tool synthesizes symbolic assumptions for TLA+ specifications.
Artifact for the paper "Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving".
Code for the manim-generated scenes used in 3blue1brown videos
A curated list of Best Artificial Intelligence Resources
Automated testing to find logic and performance bugs in database systems
A Primer on Memory Consistency and Cache Coherence (Second Edition) 翻译计划
Code Examples for the book "On Java 8"
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
An official implementation of Pangu-Weather
Read-only mirror of https://gitlab.gnome.org/GNOME/glib
Project planning for the C++ Library Evolution Working Group
Verification tool for distributed protocols based on inductive proof decomposition.
A visualized debugging framework to aid in understanding the Linux kernel.
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.