RINNE-TAN

Pivot Studio

Pinned Repositories

pivot-lang
A Rust-like language with immix gc and other cool stuffs
Language:Rust55 2 1131
andromeda
A minimalist implementation of type theory, suitable for experimentation
Language:OCaml00
awesome-hust
HUST experiments, reports, and useful tools.
Language:Shell00
hpie
Minimal implementation of Pie language
Language:Haskell5 1 00
HUST-CSE-Experiments
华中科技大学网络空间安全学院课程设计及课程实验合集(Collection of Course Projects and Experiments in the School of Cyber Science and Engineering at HUST)
Language:C0 0 00
HUST-miniVPN
华中科技大学计算机网络安全实验3
Language:C++00
mlcps
CPS transformer for ML language
Language:Haskell70
RINNE-TAN
Config files for my GitHub profile.
00
RJFireWall
一个基于Netfilter、Netlink的Linux传输层状态检测防火墙，支持NAT，仅用于学习与交流（华中科技大学2021学年网络安全课程设计项目）
Language:C00
rocketmq-docker
Apache RocketMQ Docker
Language:Shell0 0 00

RINNE-TAN/mlcps
CPS transformer for ML language
Language:Haskell70
RINNE-TAN/hpie
Minimal implementation of Pie language
Language:Haskell5 1 00
RINNE-TAN/andromeda
A minimalist implementation of type theory, suitable for experimentation
Language:OCaml00
RINNE-TAN/awesome-hust
HUST experiments, reports, and useful tools.
Language:Shell00
RINNE-TAN/HUST-CSE-Experiments
华中科技大学网络空间安全学院课程设计及课程实验合集(Collection of Course Projects and Experiments in the School of Cyber Science and Engineering at HUST)
Language:C0 0 00
RINNE-TAN/HUST-miniVPN
华中科技大学计算机网络安全实验3
Language:C++00
RINNE-TAN/RINNE-TAN
Config files for my GitHub profile.
00
RINNE-TAN/RJFireWall
一个基于Netfilter、Netlink的Linux传输层状态检测防火墙，支持NAT，仅用于学习与交流（华中科技大学2021学年网络安全课程设计项目）
Language:C00
RINNE-TAN/rocketmq-docker
Apache RocketMQ Docker
Language:Shell0 0 00