Pinned Repositories
3d-spherical
Spherical geometry simulation
austral
Systems language with linear types and capability-based security.
beancount-import
Web UI for semi-automatically importing external data into beancount
gnucash-to-beancount
Gnucash to Beancount Converter.
idris2-dom
Javascript DOM bindings for Idris2
nixos
NixOS, a Linux distribution based on the Nix package manager
nixpkgs
Nix Packages collection
personal_nixos
A place to keep track of my own nixos patches.
personal_nixpkgs
A place to keep track of my own nixpkgs patches.
plusone
Evaluation framework of clustering algorithm through plus one prediction
falsifian's Repositories
falsifian/personal_nixpkgs
A place to keep track of my own nixpkgs patches.
falsifian/personal_nixos
A place to keep track of my own nixos patches.
falsifian/plusone
Evaluation framework of clustering algorithm through plus one prediction