-
lean4-nix Public
Forked from lenianiva/lean4-nixforked from lenianiva/lean4-nix
-
-
coq Public
Forked from rocq-prover/rocqforked from coq/coq
-
forked from golang/go
-
tailscale Public
Forked from tailscale/tailscaleforked from tailscale/tailscale
-
forked from nixos/nix
-
homebrew-cask Public
Forked from Homebrew/homebrew-caskforked from homebrew/homebrew-cask
-
nixvim Public
Forked from nix-community/nixvimforked from nix-community/nixvim
-
lean4 Public
Forked from leanprover/lean4forked from leanprover/lean4
-
nixpkgs Public
Forked from NixOS/nixpkgsforked from nixos/nixpkgs
-
-
sora Public
Forked from cranci1/Soraforked from cranci1/sora
-
dotfiles Public
yet another dotfiles repo with nix
-
coq-nix-toolbox Public
Forked from rocq-community/coq-nix-toolboxforked from rocq-community/coq-nix-toolbox
-
raven Public
Forked from raven-ml/ravenforked from raven-ml/raven
-
-
-
nixpkgs-review-gha Public
Forked from Defelo/nixpkgs-review-ghaforked from defelo/nixpkgs-review-gha
-
ngipkgs Public
Forked from ngi-nix/ngipkgsforked from ngi-nix/ngipkgs
-
kanidm Public
Forked from kanidm/kanidmforked from kanidm/kanidm
-
verus Public
Forked from verus-lang/verusforked from verus-lang/verus
-
tvix Public
Forked from tvlfyi/tvixforked from tvlfyi/tvix
-
-
nixos-raspberrypi Public
Forked from nvmd/nixos-raspberrypiforked from nvmd/nixos-raspberrypi
-
flavors Public
Forked from yazi-rs/flavorsforked from yazi-rs/flavors
-
nix-darwin Public
Forked from nix-darwin/nix-darwinforked from lnl7/nix-darwin
-
disko Public
Forked from nix-community/diskoforked from nix-community/disko
-
souin Public
Forked from darkweak/souinforked from darkweak/souin
-
-
{{ message }}