tangruize Goto Github PK

actions-njuhealthreport

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

ai-assignment

AI course 2018 Assignment.

cg

Computer Graphics Lab

coeditor

The Coeditor based on Jupiter protocol.

communitymodules

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

compiler

Compiler principles lab

etcd

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

huluwa

Java big homework.

ics2016

iotcheck-dpor

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

java-2017f-homework

jetbrainsruntime-for-linux-x64

在线定时编译改进的 JBR

jupiter-experiments

macemc

nju-bras-auto-login

NJU bras auto login scripts

nju-easyconnect-script

Scripts to optimize NJU EasyConnect client routing rules.

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.

programming-tutorial-2019

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

pysyncobj

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

q2a-formatter

Enables MathJax, highlight.js and Ckeditor Preview for Q2A

rtl8852bu

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

sandtable

Scalable Distributed System Model Checking with Specification-Level State Exploration

site-monitor

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

spssh

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

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+.