-
-
types-and-proofs Public
Forked from TiarkRompf/types-and-proofsMechanized baselines for various type system features
Rocq Prover MIT License UpdatedAug 19, 2025 -
msp Public
A toy compiler for Multi-Stage Programming
-
lms-clean Public
Forked from TiarkRompf/lms-cleanScala BSD 3-Clause "New" or "Revised" License UpdatedMar 30, 2025 -
STLC Public
Formal proof of STLC type soundness (progress and preservation) using Coq.
-
tower-oopsla22 Public
Forked from psg-mit/tower-oopsla22OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
OCaml MIT License UpdatedDec 16, 2024 -
-
-
-
-
-
HUST-miniVPN Public
Forked from 6QHTSK/HUST-miniVPN华中科技大学计算机网络安全实验3
C++ MIT License UpdatedMay 23, 2023 -
HUST-CSE-Experiments Public
Forked from ZCXu1/HUST-CSE-Experiments华中科技大学网络空间安全学院课程设计及课程实验合集(Collection of Course Projects and Experiments in the School of Cyber Science and Engineering at HUST)
C UpdatedMar 23, 2023 -
sparcl Public
Forked from kztk-m/sparclCopied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 16, 2022 -
RJFireWall Public
Forked from RicheyJang/RJFireWall一个基于Netfilter、Netlink的Linux传输层状态检测防火墙，支持NAT，仅用于学习与交流（华中科技大学2021学年网络安全课程设计项目）
C GNU Affero General Public License v3.0 UpdatedFeb 22, 2022 -
awesome-hust Public
Forked from recolic/awesome-hustHUST experiments, reports, and useful tools.
Shell UpdatedFeb 16, 2021 -
andromeda Public
Forked from andrejbauer/andromedaA minimalist implementation of type theory, suitable for experimentation
OCaml Other UpdatedJul 13, 2020 -
theseus Public
Forked from chessai/theseustheseus, functional programming language with fully reversible computation
Haskell UpdatedJun 3, 2019
{{ message }}