-
Nanjing University (南京大学)
- Nanjing University
-
04:32
(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
GPT4All: Run Local LLMs on Any Device. Open-source and available for commercial use.
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
Animated sprite editor & pixel art tool (Windows, macOS, Linux)
DuckDB is an analytical in-process SQL database management system
Ceph is a distributed object, block, and file storage platform
A distributed, fast open-source graph database featuring horizontal scalability and high availability
The BusTub Relational Database Management System (Educational)
C++ Insights - See your source code with the eyes of a compiler
A collection of out-of-tree LLVM passes for teaching and learning
Jupyter kernel for the C++ programming language
A distributed key-value storage system developed by Alibaba Group
C++11/14/17/20 Concurrency Demystified: From Core Principles to Thread-Safe Code
C++ implementation of Raft core logic as a replication library
A minimalistic and high-performance SAT solver
MySQL Workbench is a unified visual tool for database architects, developers, and DBAs. MySQL Workbench provides data modeling, SQL development, and comprehensive administration tools for server co…
This project is aimed at jump-starting a C/C++ project that can build libraries, binaries and have a working unit test suite. It uses CMake build system and is deliberately completely minimal.
The official C++ Weekly Repository. Code samples and notes of future / past episodes will land here at various times. PR's will be accepted in some cases.
SQL Parser for C++. Building C++ object structure from SQL statements.