Pinned Repositories
home-manager
Manage a user environment using Nix [maintainer=@rycee]
nix
Nix, the purely functional package manager
nixpkgs
Nix Packages collection & NixOS
competitive-programming
Solutions and writeups of various competitive programming problems.
copr-playground
Repository for my playground COPR project
devcontainer-features
A playground for custom dev container features
haskell-99
Solutions and writeups of the Ninety-Nine Haskell Problems
NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
nur-packages
My NUR repository
SecantVarietiesResearch.jl
Some utilities for studying secant varieties of embeddings of toric varieties
polykernel's Repositories
polykernel/competitive-programming
Solutions and writeups of various competitive programming problems.
polykernel/copr-playground
Repository for my playground COPR project
polykernel/devcontainer-features
A playground for custom dev container features
polykernel/haskell-99
Solutions and writeups of the Ninety-Nine Haskell Problems
polykernel/NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
polykernel/nur-packages
My NUR repository
polykernel/SecantVarietiesResearch.jl
Some utilities for studying secant varieties of embeddings of toric varieties