student at rutgers
minor in physics
- source code hosted on github at https://github.com/givikuna/nixfiles
- multi-host nix configuration
- creates a fully reproducible fleet of personal computers and servers running all kinds of software
- every host shares the same fish shell and rust-based modern cli tools for convenience but has different fronts
- will soon use a declarative private network for overlaying yggdrasil making a distributed homelab of sorts
- source code hosted on codeberg at https://codeberg.org/giviko/struktured
- npm package on npmjs.com at https://www.npmjs.com/package/struktured
- a library (work-in-progress) with various complex (and customizable) data structures
- designed with extensibility in mind providing abstract classes, interfaces, bases, headers, and mixins (and lots of utilities to create custom mixins)
- written primarly in typescript for npm
- source code hosted on github at https://github.com/givikuna/gitboy
- a small tool written in rust with the singular purpose of managing locations of git repositories in your system declaratively
- specifically packages for nix flakes as of now
- will be getting more features over time as the needs increase
- source code hosted on github at https://github.com/givikuna/keto-portfolio
- photography portfolio website created in astro, svelte, express, and typescript with python scripts
- hosted on the hetzner platform
- source hosted at https://github.com/givikuna/codensity-transformations-with-yoneda-lemma
- work-in-progress paper writing a proof for how codensity transformations in haskell do not change the logic of the code despite its quadratic to linear time optimizations
- currently being written using typst (formerly in latex)
- configured enivornment and automation done via nix flakes, just scripts, and vscode
- plans for creating a lean4 proof for this (though this will take time)
- you can reach me at gvtsvariani@gmail.com
- or any of my social media (although response times will vary)