Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by tangruize
A curated list of projects in awesome lists by tangruize .
https://github.com/tangruize/nju-easyconnect-script
Scripts to optimize NJU EasyConnect client routing rules.
Last synced: 10 Nov 2024
https://github.com/tangruize/sandtable
Scalable Distributed System Model Checking with Specification-Level State Exploration
Last synced: 10 Nov 2024
https://github.com/tangruize/model-based-explorative-testing-for-willemt-raft
Last synced: 10 Nov 2024
https://github.com/tangruize/spssh
Simple Parallel SSH, with the feature of interactively executing parallel and separate commands in tmux or gnome-terminal.
gnome-terminal parallel-ssh remote-control scp ssh tmux
Last synced: 10 Nov 2024
https://github.com/tangruize/coeditor
The Coeditor based on Jupiter protocol.
Last synced: 10 Nov 2024
https://github.com/tangruize/programming-tutorial-2019
Programming Tutorial for the Problem Solving Class at NJU (Nanjing University)-CS 2019.
c-programming cpp-programming nju nju-cs problem-solving programming-tutorial
Last synced: 10 Nov 2024
https://github.com/tangruize/jupiter-experiments
jupiter model-checking python3 tlaplus tlc2 tlc2-wrapper
Last synced: 10 Nov 2024
https://github.com/tangruize/compiler
Compiler principles lab
c-minus-minus c-plus-plus compiler
Last synced: 10 Nov 2024
https://github.com/tangruize/site-monitor
I don't want to miss any news about u.
Last synced: 10 Nov 2024