-
OS-Course-Lab Public
Forked from SJTU-IPADS/OS-Course-Lab本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验。
C Mulan Permissive Software License, Version 2 UpdatedDec 17, 2025 -
-
nixvim Public
Neovim Distro Powered By Nix Flakes, originated from https://github.com/nix-community/nixvim
-
-
dev-templates Public
Out-of-the-box dev environments for numerous languages, based on Nix flakes and flake-parts
-
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 -
nixos-config Public
NixOS config derived from Frost-Phoenix/nixos-config
-
angrr Public
Forked from linyinfeng/angrrTemporary GC Roots Cleaner
Rust MIT License UpdatedDec 8, 2025 -
mirror-docker-unified Public
Forked from sjtug/mirror-docker-unifiedInfrastructure of SJTUG mirrors
Python Apache License 2.0 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 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedNov 29, 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 -
mirror-clone Public
Forked from sjtug/mirror-cloneAll-in-one mirror utility for SJTUG mirror
Rust Apache License 2.0 UpdatedNov 11, 2025 -
-
mirror-intel Public
Forked from sjtug/mirror-intelIntelligent mirror redirector middleware for SJTUG
Rust Apache License 2.0 UpdatedNov 8, 2025 -
nix-update-action Public
Forked from selfuryon/nix-update-actionUpdate flake packages by nix-update via github-actions
Nix MIT License UpdatedNov 3, 2025 -
aya-dev Public
Forked from aya-prover/aya-devA proof assistant and a dependently-typed language
Java MIT License UpdatedOct 30, 2025 -
wl-x11-clipsync Public
Haskell script to synchronize the clipboard between Wayland and X11. Rewrite of https://github.com/arabianq/wl-x11-clipsync.
-
sjtug-mirror-frontend Public
Forked from sjtug/sjtug-mirror-frontendFrontend of software mirrors
TypeScript Apache License 2.0 UpdatedOct 21, 2025 -
SJTU-Canvas-Helper Public
Forked from Okabe-Rintarou-0/SJTU-Canvas-HelperSJTU Canvas Helper——帮助您更快速便捷地使用上海交通大学课程平台。
TypeScript MIT License UpdatedOct 2, 2025 -
pydrofoil Public
Forked from pydrofoil/pydrofoilA fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one
C MIT License UpdatedOct 1, 2025 -
Paddle Public
Forked from PaddlePaddle/PaddlePArallel Distributed Deep LEarning: Machine Learning Framework from Industrial Practice （『飞桨』核心框架，深度学习&机器学习高性能单机、分布式训练和跨平台部署）
C++ Apache License 2.0 UpdatedSep 30, 2025 -
-
xs-env Public
Forked from OpenXiangShan/xs-envXiangShan Frontend Develop Environment
Nix Mulan Permissive Software License, Version 2 UpdatedSep 29, 2025 -
-
rpypkgs Public
Forked from rpypkgs/rpypkgsPackages built with RPython
Nix MIT License UpdatedSep 22, 2025 -
-
3x-ui Public
Forked from MHSanaei/3x-uiXray panel supporting multi-protocol multi-user expire day & traffic & IP limit (Vmess, Vless, Trojan, ShadowSocks, Wireguard, Tunnel, Mixed, HTTP)
HTML GNU General Public License v3.0 UpdatedSep 13, 2025
{{ message }}