-
-
shift-verification Public
Coq formalization of impossibility theorems for transparent RDMA failover mechanisms
Typst UpdatedFeb 7, 2026 -
-
-
Flow.Plugin.WindowWalker Public
Port of WindowsWalker from Powertoy for Flow Launcher
-
yukiyang31.github.io Public
Forked from YukiYang31/yukiyang31.github.ioHTML MIT License UpdatedJan 14, 2026 -
-
ucx Public
Forked from openucx/ucxUnified Communication X (mailing list - https://elist.ornl.gov/mailman/listinfo/ucx-group)
C Other UpdatedDec 23, 2025 -
-
ostep-projects Public
Forked from remzi-arpacidusseau/ostep-projectsProjects for an undergraduate OS course
C UpdatedNov 28, 2025 -
-
-
-
-
-
-
Flow.Plugin.VSCodeWorkspace Public
VSCode workspace access plugin for Flow Launcher
-
-
psst Public
Forked from jpochyla/psstFast and multi-platform Spotify client with native GUI
Rust MIT License UpdatedFeb 22, 2025 -
-
-
-
Locks Public
Different locks implement that is correlated to my research
Rust MIT License UpdatedOct 24, 2024 -
brilliant-CV Public
Forked from yunanwg/brilliant-CV💼 another CV template for your job application, yet powered by Typst and more
Typst Apache License 2.0 UpdatedOct 9, 2024 -
-
-
-
-
-
libpqueue Public
Forked from vy/libpqueueGeneric priority queue (heap) implementation used by the Apache HTTP Server project.
C BSD 2-Clause "Simplified" License UpdatedFeb 24, 2024
{{ message }}