-
Nanjing University (南京大学)
- Nanjing University
-
04:24
(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
This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.
Phaser is a fun, free and fast 2D game framework for making HTML5 games for desktop and mobile web browsers, supporting Canvas and WebGL rendering.
A simple, in-browser, markdown-driven slideshow tool.
Graph theory (network) library for visualisation and analysis
Learning Convolutional Neural Networks with Interactive Visualization.
A web tool to explore the ASTs generated by various parsers.
A higher-level wrapper around the Github API. Intended for the browser.
南京大学计算机系 课程资料 作业 代码 实验报告 NJU-CS 课程分享计划 🍚
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
A static web application to explore and animate a TLA+ state graph.
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Some examples of the ANTLR4 JavaScript target.
Tool to visualize executions of multi-threaded systems
The website of PingCAP. Powered by Gatsby ⚛️ and Rocket 🚀.