https://github.com/tani/papyrus
Common Lisp45
6 months ago
A Literate Programming Tool: Common Lisp + Markdown / Org mode
MIT License
Jupyter Kernel for ACL2
Jupyter Notebook4other
3 months ago
acl2jupyterjupyter-kernel