polykernel

"X is not meant to prove old facts, it is meant to disclose new worlds!"

Toronto, Canada

Pinned Repositories

home-manager
Manage a user environment using Nix [maintainer=@rycee]
Language:Nix6.1k 54 2.1k1.7k
nixpkgs
Nix Packages collection & NixOS
Language:Nix16.2k 278 38.4k12.7k
competitive-programming
Solutions and writeups of various competitive programming problems.
Language:C++00
getty
A (de)serialization framework for Zig
Language:Zig0 1 00
getty-zig-json
A serialization library for JSON
Language:Zig0 1 00
haskell-99
Solutions and writeups of the Ninety-Nine Haskell Problems
Language:Haskell00
home-manager
Manage a user environment using Nix [maintainer=@rycee]
Language:Nix0 1 00
impermanence
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
Language:Nix00
M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Language:Macaulay200
nur-packages
My NUR repository
Language:Nix0 2 00

polykernel/competitive-programming
Solutions and writeups of various competitive programming problems.
Language:C++00
polykernel/getty
A (de)serialization framework for Zig
Language:Zig0 1 00
polykernel/getty-zig-json
A serialization library for JSON
Language:Zig0 1 00
polykernel/haskell-99
Solutions and writeups of the Ninety-Nine Haskell Problems
Language:Haskell00
polykernel/home-manager
Manage a user environment using Nix [maintainer=@rycee]
Language:Nix0 1 00
polykernel/impermanence
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
Language:Nix00
polykernel/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Language:Macaulay200
polykernel/nix
Nix, the purely functional package manager
Language:C++0 1 00
polykernel/nixpkgs
Nix Packages collection & NixOS
Language:Nix0 1 00
polykernel/NUR
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
Language:Python00
polykernel/nur-packages
My NUR repository
Language:Nix0 2 00
polykernel/river
A dynamic tiling Wayland compositor
Language:Zig
polykernel/zls
The @ziglang language server for all your Zig editor tooling needs, from autocomplete to goto-def!
Language:Zig