Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "rzk" keyword
pygments-rzk 0.1.4
Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories).5 versions - Latest release: 9 months ago - 1 dependent repositories - 55 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords