-
-
convex-hull Public
Formal verification of Graham's Scan algorithm in Rocq(Coq).
Rocq Prover UpdatedJun 11, 2026 -
mirror-intel Public
Forked from sjtug/mirror-intelIntelligent mirror redirector middleware for SJTUG
Rust Apache License 2.0 UpdatedJun 11, 2026 -
mirror-clone Public
Forked from sjtug/mirror-cloneAll-in-one mirror utility for SJTUG mirror
Rust Apache License 2.0 UpdatedJun 11, 2026 -
-
dev-templates Public
Out-of-the-box dev environments for numerous languages, based on Nix flakes and flake-parts
-
mirror-docker-unified Public
Forked from sjtug/mirror-docker-unifiedInfrastructure of SJTUG mirrors
Python Apache License 2.0 UpdatedMay 28, 2026 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedMay 25, 2026 -
nixpkgs-review-gha Public
Forked from Defelo/nixpkgs-review-ghaRun nixpkgs-review in GitHub Actions
JavaScript MIT License UpdatedMay 25, 2026 -
plannotator Public
Forked from backnotprop/plannotatorFork of [plannotator](https://github.com/backnotprop/plannotator), removing Bun dependencies.
TypeScript Apache License 2.0 UpdatedMay 23, 2026 -
sjtug-mirror-frontend Public
Forked from sjtug/sjtug-mirror-frontendFrontend of software mirrors
-
cc-switch Public
Forked from farion1231/cc-switchA cross-platform desktop All-in-One assistant tool for Claude Code, Codex, OpenCode, openclaw & Gemini CLI.
Rust MIT License UpdatedMay 6, 2026 -
nixos-config Public
NixOS config derived from Frost-Phoenix/nixos-config
-
-
nixvim Public
Neovim Distro Powered By Nix Flakes, originated from https://github.com/nix-community/nixvim
-
-
rust-overlay Public
Forked from oxalica/rust-overlayPure and reproducible nix overlay of binary distributed rust toolchains
Nix MIT License UpdatedMar 30, 2026 -
checkout Public
Forked from taiki-e/checkout-actionactions/checkout alternative. 😾
Shell Apache License 2.0 UpdatedMar 25, 2026 -
-
AhabAssistantLimbusCompany Public
Forked from KIYI671/AhabAssistantLimbusCompanyAALC，PC端Limbus Company小助手。AALC，Limbus Company Assistant on PC
Python GNU Affero General Public License v3.0 UpdatedMar 9, 2026 -
comma Public
Forked from nix-community/commaComma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
Rust MIT License UpdatedFeb 12, 2026 -
ureq Public
Forked from algesten/ureqA simple, safe HTTP client
Rust Apache License 2.0 UpdatedFeb 5, 2026 -
SJTU-Canvas-Helper Public
Forked from Okabe-Rintarou-0/SJTU-Canvas-HelperSJTU Canvas Helper——帮助您更快速便捷地使用上海交通大学课程平台。
TypeScript MIT License UpdatedJan 1, 2026 -
OS-Course-Lab Public
Forked from SJTU-IPADS/OS-Course-Lab本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。
C Mulan Permissive Software License, Version 2 UpdatedDec 17, 2025 -
ghostty Public
Forked from ghostty-org/ghostty👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
Zig MIT License UpdatedDec 13, 2025 -
angrr Public
Forked from linyinfeng/angrrTemporary GC Roots Cleaner
Rust MIT License UpdatedDec 8, 2025 -
wpsoffice-flake Public
Forked from alex-karev/wpsoffice-flakeA custom NixOS flake that provides a sandboxed offline WPS Office installation with additional fonts and useful configuration options.
Nix MIT License UpdatedDec 8, 2025 -
hyprsplit Public
Forked from shezdy/hyprsplithyprland plugin for separate sets of workspaces on each monitor
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 28, 2025 -
geoipsets Public
Forked from chr0mag/geoipsetsPython package to generate country-specific IP network ranges consumable by both iptables/ipset and nftables.
Python GNU General Public License v3.0 UpdatedNov 15, 2025 -
aya-prover-docs Public
Forked from aya-prover/aya-prover-docsThe documentation site of the Aya prover.
TypeScript UpdatedNov 13, 2025
{{ message }}