Results
39
repositories owned by
Tweag
pirouette
47
Stars
2
Forks
Watchers
Language-generic workbench for building static analysis
guardian_trackable
27
Stars
5
Forks
Watchers
A Guardian hook to track user sign ins.
aws-secrets
89
Stars
14
Forks
Watchers
Manage secrets on AWS instances with KMS encryption, IAM roles and S3 storage.
genealogos
18
Stars
0
Forks
Watchers
Genealogos, a Nix sbom generator
ssh-participation
15
Stars
0
Forks
Watchers
An ssh server that creates new users on-the-fly, great for letting users participate in a demo
smtlib-backends
17
Stars
1
Forks
Watchers
A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.