-
Nanjing University (南京大学)
- Nanjing University
-
08:26
(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
📚 Freely available programming books
The Python micro framework for building web applications.
A curated list of awesome Machine Learning frameworks, libraries and software.
为GPT/GLM等LLM大语言模型提供实用化交互接口,特别优化论文阅读/润色/写作体验,模块化设计,支持自定义快捷按钮&函数插件,支持Python和C++等项目剖析&自译解功能,PDF/LaTex论文翻译&总结功能,支持并行问询多种LLM模型,支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
The official gpt4free repository | various collection of powerful language models | o4, o3 and deepseek r1, gpt-4.1, gemini 2.5
CLI platform to experiment with codegen. Precursor to: https://lovable.dev
Open-sourced codes for MiniGPT-4 and MiniGPT-v2 (https://minigpt-4.github.io, https://minigpt-v2.github.io/)
Code for the paper "Language Models are Unsupervised Multitask Learners"
🆓免费的 ChatGPT 镜像网站列表,持续更新。List of free ChatGPT mirror sites, continuously updated.
Private AI platform for agents, assistants and enterprise search. Built-in Agent Builder, Deep research, Document analysis, Multi-model support, and API connectivity for agents.
Run any open-source LLMs, such as DeepSeek and Llama, as OpenAI compatible API endpoint in the cloud.
ChatGPT 中文指南🔥,ChatGPT 中文调教指南,指令指南,应用开发指南,精选资源清单,更好的使用 chatGPT 让你的生产力 up up up! 🚀
A framework for few-shot evaluation of language models.
A Library for Advanced Deep Time Series Models for General Time Series Analysis.
Code for the manim-generated scenes used in 3blue1brown videos
This is an AI agent for Street Fighter II Champion Edition.
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
2025南京大学计算机科学与技术845考研公共课和专业课资料:数学一、英语一、政治、数据结构、计算机网络、计算机系统基础、操作系统教程、算法设计与分析-包括真题、期末考试、PPT、模拟题、专业课参考书及课后答案、报录比、经验等等
本项目分享了中山大学计算机学院本科和研究生阶段的课程资料、笔记、期末考试卷和其他实用的相关资源。希望对同学们的学习有所帮助❤️,如果喜欢记得给个star🌟
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
An official implementation of Pangu-Weather
Math & CS Awesome List, distinguished by proof and logic and technique
A curated list of awesome LLVM (including Clang, etc) related resources.
pySMT: A library for SMT formulae manipulation and solving
TiDB database documentation. TiDB is an open-source, cloud-native, distributed, MySQL-Compatible database for elastic scale and real-time analytics. Try AI-powered Chat2Query free at: https://www.p…