tangruize

NJU-EasyConnect-Script

Scripts to optimize NJU EasyConnect client routing rules.

SandTable

Scalable Distributed System Model Checking with Specification-Level State Exploration

tlc-cmd

Run TLC in cmd

JetBrainsRuntime-for-Linux-x64

在线定时编译改进的 JBR

spssh

Simple Parallel SSH, with the feature of interactively executing parallel and separate commands in tmux or gnome-terminal.

coeditor

The Coeditor based on Jupiter protocol.

q2a-formatter

Enables MathJax, highlight.js and Ckeditor Preview for Q2A

AI-Assignment

AI course 2018 Assignment.

jupiter-experiments

NJU-Bras-Auto-Login

NJU bras auto login scripts

programming-tutorial-2019

Programming Tutorial for the Problem Solving Class at NJU (Nanjing University)-CS 2019.

actions-NjuHealthReport

自动完成每日健康填报（Github Actions）

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

etcd

Distributed reliable key-value store for the most critical data of a distributed system

iotcheck-dpor

This is the repository that contains the DPOR implementation for IoTCheck.

java-2017f-homework

macemc

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.

problem-solving-class-coq

Rock on Coq for the Problem Solving Class at Nanjing University

problem-solving-class-programming-tutorial

Programming Tutorial for the Problem Solving Class at NJU (Nanjing University)-CS.

PySyncObj

A library for replicating your python class between multiple servers, based on raft protocol

rtl8852bu

Linux Driver for USB WiFi Adapters that are based on the RTL8832BU and RTL8852BU Chipsets - v1.19.3 - 20230505

site-monitor

I don't want to miss any news about u.

tangruize

tangruize.github.io

TjuptAutoAttendance

北洋园PT自动签到

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

tlaplus-lamport-projects

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

vscode-tlaplus

TLA+ language support for Visual Studio Code

willemt-raft

C implementation of the Raft Consensus protocol, BSD licensed