-
Nanjing University (南京大学)
- Nanjing University
-
03:11
(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
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitti…
AddressSanitizer, ThreadSanitizer, MemorySanitizer
带有详细注释的 Redis 3.0 代码(annotated Redis 3.0 source code)。
YugabyteDB - the cloud native distributed SQL database for mission-critical applications.
A minimal programming example for a chat server
Scriptable database and system performance benchmark
Write a simple interpreter of C. Inspired by c4 and largely based on it.
GNU toolchain for RISC-V, including GCC
The Fast Lexical Analyzer - scanner generator for lexing in C and C++
PainterEngine is a application/game engine with software renderer,PainterEngine can be transplanted to any platform that supports C
A library of generic data structures for the C language.
Unofficial mirror of sourceware glibc repository. Updated daily.
Read-only mirror of https://gitlab.gnome.org/GNOME/glib
A curses library for environments that don't fit the termcap/terminfo model.
The venerable cdecl, with Apple blocks support
NJU EMUlator, a full system x86/mips32/riscv32/riscv64 emulator for teaching
A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.
ACLLib is a bunch of C functions covers Win32API and provides simpler API to beginners for programming Windows GUI applications. It compiles with MinGW and MS Visual Studio Express
Book Example Code for Hands-On Network Programming with C