リポジトリ

AlgebraicJulia のリポジトリ

A framework for applied category theory in the Julia language

最終コミット 2026年5月12日

 (706 stars) (68 forks) (13 件の索引済み issue) (13 件のオープンな good first issue)

Specifying models with syntax trees

最終コミット 2024年9月12日

 (4 stars) (5 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)