-
mall-swarm Public
Forked from macrozheng/mall-swarmmall-swarm是一套微服务商城系统，采用了 Spring Cloud Alibaba、Spring Boot 3.2、Sa-Token、MyBatis、Elasticsearch、Docker、Kubernetes等核心技术，同时提供了基于Vue的管理后台方便快速搭建系统。mall-swarm在电商业务的基础集成了注册中心、配置中心、监控中心、网关等系统功能。
Java Apache License 2.0 UpdatedFeb 23, 2026 -
opa Public
Forked from open-policy-agent/opaOpen Policy Agent (OPA) is an open source, general-purpose policy engine.
Go Apache License 2.0 UpdatedJan 17, 2026 -
sp1 Public
Forked from succinctlabs/sp1SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Rust Apache License 2.0 UpdatedJan 8, 2026 -
FStar Public
Forked from FStarLang/FStarA Proof-oriented Programming Language
F* Apache License 2.0 UpdatedDec 19, 2025 -
halo2 Public
Forked from zcash/halo2The Halo2 zero-knowledge proving system
Rust Other UpdatedDec 15, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedDec 12, 2025 -
-
GraphOrientationZDD Public
an application of zdd in graph orientation enumerating problems
C++ UpdatedApr 20, 2025 -
kuisthesis-template Public
Forked from CommCompEngKyotoU/kuisthesis-template修論2024（昨年）
TeX UpdatedJan 6, 2025 -
-
-
tiny-distributed-system Public
a tiny distributed system that contains Service Registration, Service Discovery and Heartbeat Check
Go UpdatedOct 14, 2024 -
Irregular uploads include exercise solutions, extracurricular reading materials, code, and personal notes.
Roff UpdatedJul 30, 2024
{{ message }}