Add collection profile
1 changed file+29−0
profile/README.mdadded+29−0View file
@@ -0,0 +1,29 @@
1+# Attic
2+
3+Repositories that are no longer active: superseded work, abandoned prototypes,
4+and scaffolding kept only so that old links and references still resolve.
5+Nothing here is maintained, and nothing here should be taken as a current
6+example of how to do anything.
7+
8+For work that is alive, see
9+[proof-of-concept](https://vault1.magland.org/proof-of-concept) for experiments
10+and demos, [tools](https://vault1.magland.org/tools) for finished software, and
11+[tutorials](https://vault1.magland.org/tutorials) for the long-form interactive
12+tutorials.
13+
14+## Abandoned prototypes
15+
16+- **[proofery](https://vault1.magland.org/attic/proofery)**. A prototype for
17+ working with structured mathematical proofs. Never finished.
18+- **[proofery-web](https://vault1.magland.org/attic/proofery-web)**. The web
19+ front end for proofery.
20+
21+## numbl project scaffolds
22+
23+Throwaway [numbl](https://numbl.org) project skeletons, generated while working
24+out what a numbl project should look like. Superseded by
25+[numbl-project-example](https://vault1.magland.org/proof-of-concept/numbl-project-example).
26+
27+- **[sample-3](https://vault1.magland.org/attic/sample-3)**
28+- **[sample-4](https://vault1.magland.org/attic/sample-4)**
29+- **[sample-6](https://vault1.magland.org/attic/sample-6)**