Pinned Repositories
algocentric
AI-Assignment
AI course 2018 Assignment.
coeditor
The Coeditor based on Jupiter protocol.
Compiler
Compiler principles lab
JetBrainsRuntime-for-Linux-x64
在线定时编译改进的 JBR
NJU-EasyConnect-Script
Scripts to optimize NJU EasyConnect client routing rules.
q2a-formatter
Enables MathJax, highlight.js and Ckeditor Preview for Q2A
SandTable
Scalable Distributed System Model Checking with Specification-Level State Exploration
spssh
Simple Parallel SSH, with the feature of interactively executing parallel and separate commands in tmux or gnome-terminal.
tlc-cmd
Run TLC in cmd
tangruize's Repositories
tangruize/NJU-EasyConnect-Script
Scripts to optimize NJU EasyConnect client routing rules.
tangruize/SandTable
Scalable Distributed System Model Checking with Specification-Level State Exploration
tangruize/tlc-cmd
Run TLC in cmd
tangruize/JetBrainsRuntime-for-Linux-x64
在线定时编译改进的 JBR
tangruize/spssh
Simple Parallel SSH, with the feature of interactively executing parallel and separate commands in tmux or gnome-terminal.
tangruize/coeditor
The Coeditor based on Jupiter protocol.
tangruize/q2a-formatter
Enables MathJax, highlight.js and Ckeditor Preview for Q2A
tangruize/AI-Assignment
AI course 2018 Assignment.
tangruize/jupiter-experiments
tangruize/NJU-Bras-Auto-Login
NJU bras auto login scripts
tangruize/programming-tutorial-2019
Programming Tutorial for the Problem Solving Class at NJU (Nanjing University)-CS 2019.
tangruize/actions-NjuHealthReport
自动完成每日健康填报（Github Actions）
tangruize/CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
tangruize/etcd
Distributed reliable key-value store for the most critical data of a distributed system
tangruize/iotcheck-dpor
This is the repository that contains the DPOR implementation for IoTCheck.
tangruize/macemc
tangruize/ohmyzsh
🙃 A delightful community-driven (with 2,000+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
tangruize/problem-solving-class-coq
Rock on Coq for the Problem Solving Class at Nanjing University
tangruize/problem-solving-class-programming-tutorial
Programming Tutorial for the Problem Solving Class at NJU (Nanjing University)-CS.
tangruize/PySyncObj
A library for replicating your python class between multiple servers, based on raft protocol
tangruize/rtl8852bu
Linux Driver for USB WiFi Adapters that are based on the RTL8832BU and RTL8852BU Chipsets - v1.19.3 - 20230505
tangruize/site-monitor
I don't want to miss any news about u.
tangruize/tangruize
tangruize/tangruize.github.io
tangruize/TjuptAutoAttendance
北洋园PT自动签到
tangruize/tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tangruize/tlaplus-lamport-projects
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
tangruize/vscode-tlaplus
TLA+ language support for Visual Studio Code
tangruize/willemt-raft
C implementation of the Raft Consensus protocol, BSD licensed
tangruize/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org