picl VS mgl-pax

mmh this library seems rather good: https://github.com/anlsh/picl (but there are more, like the built-in Iterate feature. You probably found https://stackoverflow.com/questions/32956033/is-there-a-straightforward-lisp-equivalent-of-pythons-generators)

There is some overlap with DRef (https://github.com/melisgl/mgl-pax/tree/master/dref) and PAX (https://github.com/melisgl/mgl-pax). Especially with the live documentation browser of the latter (https://quotenil.com/pax-browser.html), although that's clearly not REPL-based.

While not the same - https://github.com/melisgl/mgl-pax produces excellent documentation for example - https://rabbibotton.github.io/clog/clog-manual.html

MGL-PAX - https://github.com/melisgl/mgl-pax

Ada has contracts also. I think possible to implement. https://github.com/melisgl/mgl-pax which I use for CLOG does a good job of documenting specs and gives me some ideas about how to go about it and same with generic functions themselves. At some point all apply myself to it.

I liked MGL-PAX's approach (https://github.com/melisgl/mgl-pax). It allows mix documentation chapters and code in the same file. You can mention any entity in the documentation or docstring and it will be cross referenced. Also, it has an integration with slime and M-. works in the docstrings.