Carlos Valiente's starred repositories
coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
nixpkgs-terraform
A collection of Terraform versions that are automatically updated.
four-horsemen-talk
Slides and sample code from my talk "The Four Horsemen of Bad Rust Code" at FOSDEM
simple-vms
Simple VMs in NixOS
nixos-apple-silicon
Resources to install NixOS bare metal on Apple Silicon Macs
nixos-riscv64
NixOS on the HiFive Unmatched
zero-to-nix
Zero to Nix is your guide to learning Nix and flakes. Created by Determinate Systems.
unison-nix
Nix support for the Unison programming language
dynamic-nfs-provisioner
Operator for dynamically provisioning an NFS server on any Kubernetes Persistent Volume. Also creates an NFS volume on the dynamically provisioned server for enabling Kubernetes RWX volumes.
script_exporter
Prometheus exporter to execute scripts and collect metrics from the output or the exit status.
todomvc-nix
Example on how to nixify a project [maintainer=@Rizary]
prometheus-nginxlog-exporter
Export metrics from Nginx access log files to Prometheus
buildkit-nix
Nix derivations as Dockerfiles (`docker build -f default.nix .`)
nix-home-config
Nix configuration for my macOS laptop
nixpkgs-overlays-rk3399
Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices
coc-rust-analyzer
rust-analyzer extension for coc.nvim
zero-to-production
Code for "Zero To Production In Rust", a book on API development using Rust.
oauth2-proxy
A reverse proxy that provides authentication with Google, Azure, OpenID Connect and many more identity providers.