Home » org.replikativ » katzen

Katzen

Applied category theory for Clojure — GATs, ACSets, schema migration, wiring-diagram composition, with verified migration via the ansatz Lean kernel and a typed numerical compile path via raster.
LicenseMIT
Tagsclojure
Ranking
#431342in MvnRepository
HomePage https://github.com/replikativ/katzen 🔍 Inspect URL
Links

Latest Versions

8 versions →
VersionVulnerabilitiesUsagesDate
0.1.x
0.1.11
1
Jun 04, 2026
0.1.10
0
Jun 04, 2026
0.1.9
0
Jun 04, 2026
8 versions →