Librerie scritte in Nix
Dotfiles.nix
La mia configurazione di sistema riproducibile fatta con nix (da aruZeta).
- 3
- GNU General Public License v3.0 only
nixfiles
La configurazione della mia macchina per tutti i miei dispositivi Linux e Mac (di icecreammatt).
- 3
nix-flake-github-ci-template
Un modello per l'utilizzo di nix flakes con GitHub Actions.
- 3
- GNU General Public License v3.0 only
nixos-config
Le mie configurazioni di NixOS, basate sulla configurazione di mitchellh (di kohlerm).
- 2
- MIT
nixnad
File di configurazione per configurare una workstation di sviluppo software!.
- 2
- GNU General Public License v3.0 only
nix-dotfiles
Dotfiles per la mia configurazione Nix (di Smaug123).
- 2
- GNU General Public License v3.0
liquid-haskell-parsing-demo
Una piccola demo di come Liquid Haskell e i tipi di perfezionamento possono aiutare la progettazione delle API.
- 2
- GNU Affero General Public License v3.0