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.
replikativ/katzen
cljdoc- 5 Downloads
- 0 This Version
Leiningen/Boot
[org.replikativ/katzen "0.1.9"]
Clojure CLI/deps.edn
org.replikativ/katzen {:mvn/version "0.1.9"}
Gradle
implementation("org.replikativ:katzen:0.1.9")Maven
<dependency> <groupId>org.replikativ</groupId> <artifactId>katzen</artifactId> <version>0.1.9</version> </dependency>
Pushed by
whilo on Jun 4, 2026 with this git treeRecent Versions
Dependencies
Homepage
https://github.com/replikativ/katzenLicense
Version Badge
Want to display the latest version of your project on GitHub? Use the markdown code below!
If you want to include pre-releases and snapshots, use the following markdown code:
