The dgnum infrastructure
Find a file
2023-05-11 19:35:02 +02:00
npins init reproducibilty 2023-05-11 19:35:02 +02:00
.gitignore Initial commit 2023-05-11 16:06:13 +00:00
LICENSE Initial commit 2023-05-11 16:06:13 +00:00
README.md Initial commit 2023-05-11 16:06:13 +00:00
shell.nix init reproducibilty 2023-05-11 19:35:02 +02:00

infrastructure

The dgnum infrastructure