Are there machine (and human) readable specification languages for algorithm collections and meta-li
- by Jabavu Adams
Is there high-level language out there for describing algorithms, that's geared towards specification, rather than implementation?
The idea would be to have a machine-readable archive of standard algorithms, with machine-readable annotations on trade-offs, and variants.
I'm thinking of something like CycL / OpenCyC, but for algorithms and programming patterns.