Attic#
Repositories that are no longer active: superseded work, abandoned prototypes, and scaffolding kept only so that old links and references still resolve. Nothing here is maintained, and nothing here should be taken as a current example of how to do anything.
For work that is alive, see proof-of-concept for experiments and demos, tools for finished software, and tutorials for the long-form interactive tutorials.
Abandoned prototypes#
- proofery. A prototype for working with structured mathematical proofs. Never finished.
- proofery-web. The web front end for proofery.
numbl project scaffolds#
Throwaway numbl project skeletons, generated while working out what a numbl project should look like. Superseded by numbl-project-example.