Pinned Repositories
aoc2021
aoc2022
aoc2023
dhall-haskell
A configuration language guaranteed to terminate
dhall-lang
A configuration language guaranteed to terminate
dhall-rust
cargo +nightly build
drvirgilio.github.io
gsioc_controller
Gilson GSIOC communication protocol written in python.
nix-derivation
nixcfg
My configuration files for my NixOS machines.
drvirgilio's Repositories
drvirgilio/gsioc_controller
Gilson GSIOC communication protocol written in python.
drvirgilio/nixcfg
My configuration files for my NixOS machines.
drvirgilio/aoc2021
drvirgilio/aoc2022
drvirgilio/aoc2023
drvirgilio/dhall-haskell
A configuration language guaranteed to terminate
drvirgilio/dhall-lang
A configuration language guaranteed to terminate
drvirgilio/dhall-rust
cargo +nightly build
drvirgilio/drvirgilio.github.io
drvirgilio/nix-derivation
drvirgilio/nixpkgs
Nix Packages collection
drvirgilio/packages
Dhall build expressions
drvirgilio/pest
The Elegant Parser
drvirgilio/pest-parser-site
drvirgilio/snake
Basic version of snake using SDL2
drvirgilio/vim-config
My vim configuration