forked from tailscale/tailscale
forked from charmbracelet/soft-serve
forked from ppy/osu
forked from nixos/nixpkgs
forked from nixos/nix
forked from ngi-nix/ngipkgs
forked from lenianiva/lean4-nix
forked from leanprover/lean4
forked from homebrew/homebrew-cask
forked from golang/go
forked from coq/coq
nix + deno + lume
yet another dotfiles repo with nix
forked from tvlfyi/tvix
consistency semantics with z3