-
Nanjing University (南京大学)
- Nanjing University
-
12:03
(UTC +08:00) - https://hengxin.github.io/
- https://orcid.org/0000-0002-0427-9710
Highlights
Lists (27)
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
LaTeX-TikZ-PGFPlots
📖 Libraries
🧰 LLM
LLVM
ML
Machine LearningMy Projects
🚀 My stack
Paper-List
Research
RISC-V
TLA+
Tools
- 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
- Svelte
- SystemVerilog
- TLA
- TeX
- TypeScript
- Typst
- Vim Script
- Yacc
- Zig
Starred repositories
Python - 100天从新手到大师
21 Lessons, Get Started Building with Generative AI
Jupyter notebooks for the code samples of the book "Deep Learning with Python"
Official code repo for the O'Reilly Book - "Hands-On Large Language Models"
Materials for the Learn PyTorch for Deep Learning: Zero to Mastery course.
cluster data collected from production clusters in Alibaba for cluster management research
Practical course about Large Language Models.
A curated list of Best Artificial Intelligence Resources
Lectures for INFO8010 Deep Learning, ULiège
An open-source educational chat model from ICALK, East China Normal University. 开源中英教育对话大模型。(通用基座模型,GPU部署,数据清理) 致敬: LLaMA, MOSS, BELLE, Ziya, vLLM
Repository for scripts and notebooks from the book: Programming PyTorch for Deep Learning
Jupyter notebooks for tutorial on the Z3 SMT solver
Jupyter notebooks for the Klopper lectures on discrete mathematics
Jupyter notebook with exercises from https://learntla.com