Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 32 | logplain |
d--------- | age-wasm | 265 | logplain |
d--------- | hakyll-nix | 189 | logplain |
d--------- | isabelle-nix-fhsenv | 77 | logplain |
d--------- | minikanren | 43 | logplain |
d--------- | nix-modules | 167 | logplain |
d--------- | nix-turing | 81 | logplain |
d--------- | nixos-iso | 40 | logplain |
d--------- | rusty-haskell | 65 | logplain |