#
Lists (27)
💻 algorithms
5 repositories
📚 Books
10 repositories
C/CPP
17 repositories
Code Reading
6 repositories
💻 Compilers
36 repositories
💻 Computer Systems
3 repositories
💯 Coq
6 repositories
🪜 Courses
9 repositories
💻 Databases
23 repositories
Distributed Computing
1 repository
Formal Methods
25 repositories
🔮 Future ideas
1 repository
🏪 gallery
1 repository
✨ Inspiration
Java
1 repository
LaTeX-TikZ-PGFPlots
1 repository
📖 Libraries
1 repository
🧰 LLM
19 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
2 repositories
Research
33 repositories
RISC-V
4 repositories
TLA+
11 repositories
Tools
1 repository
Starred repositories
16
stars
written in JavaScript
Clear filter
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 🚀.