N
nix

Projects with this topic

View proveit.nix project

ProveIT / proveit.nix

Proofbuddy and related software packaged via nix

nix proveit isabelle
+ 1 more

0

Updated Mar 18, 2025

0 0 1

Updated Mar 18, 2025
View isalink project

Joshua Balthasar Kobschätzki / isalink

go nix

0

Updated Apr 09, 2024

0

Updated Apr 09, 2024
View Isabelle Server Manager project

ProveIT / Isabelle Server Manager

Isabelle server orchestrator and load balancer

nix go isabelle
+ 3 more

0

Updated Mar 20, 2025

0 0 4 25

Updated Mar 20, 2025
View certbot.nix project

nix / certbot.nix

NixOS module for renewing certificates with CertBot

certbot nix nixos

Archived 0

Updated Oct 24, 2023

Archived 0 0 0 0

Updated Oct 24, 2023