🎯
Focusing
I am currently a Research Assistant at Software Institute at Nanjing University, China.
-
Nanjing University (南京大学)
- Nanjing University
-
04:22
(UTC +08:00) - https://hengxin.github.io/
- https://orcid.org/0000-0002-0427-9710
Highlights
Lists (27)
Sort Name ascending (A-Z)
💻 algorithms
5 repositories
📚 Books
10 repositories
C/CPP
17 repositories
Code Reading
6 repositories
💻 Compilers
36 repositories
💻 Computer Systems
3 repositories
💯 Coq
6 repositories
🪜 Courses
9 repositories
💻 Databases
23 repositories
Distributed Computing
1 repository
Formal Methods
25 repositories
🔮 Future ideas
1 repository
🏪 gallery
1 repository
✨ Inspiration
Java
1 repository
LaTeX-TikZ-PGFPlots
1 repository
📖 Libraries
1 repository
🧰 LLM
19 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
2 repositories
Research
33 repositories
RISC-V
4 repositories
TLA+
11 repositories
Tools
1 repository
- 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
1
result
for sponsorable starred repositories
written in Markdown
Clear filter
An awesome list of awesome YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.