Dépôts

Dépôts de AlgebraicJulia

A framework for applied category theory in the Julia language

Dernier commit 12 mai 2026

 (706 stars) (68 forks) (13 issues indexées) (13 good first issues ouvertes)

Specifying models with syntax trees

Dernier commit 12 sept. 2024

 (4 stars) (5 forks) (0 issues indexées) (0 good first issues ouvertes)