-
Nanjing University (南京大学)
- Nanjing University
-
00:46
(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
🔥🔥🔥AI-driven database tool and SQL client, The hottest GUI client, supporting MySQL, Oracle, PostgreSQL, DB2, SQL Server, DB2, SQLite, H2, ClickHouse, and more.
Empowering Data Intelligence with Distributed SQL for Sharding, Scalability, and Security Across All Databases.
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…
Java 1-21 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
The missing bridge between Java and native C++
Code Examples for the book "On Java 8"
The missing Java distribution of native C++ libraries
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…
State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.
Automated testing to find logic and performance bugs in database systems
PolarDB-X is a cloud native distributed SQL Database designed for high concurrency, massive storage, complex querying scenarios.
RARS -- RISC-V Assembler and Runtime Simulator
Open source Java implementation for Raft consensus protocol.
Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.
JavaCC - a parser generator for building parsers from grammars. It can generate code in Java, C++ and C#.
Grammar files support & parser/PSI generation for IntelliJ IDEA
A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
The fast scanner generator for Java™ with full Unicode support