This is stars and forks stats for /iwilare/categorical-automata repository. As of 03 May, 2024 this repository has 15 stars and 1 forks.
Categorical automata in Agda This repository contains the Agda formalization for a series of papers by Guido Boccali, Andrea Laretto, Fosco Loregian, Stefano Luneia and Bojana Femić on categorical automata in monoidal and cartesian categories and how they are organized (semi)bicategorically. "Bicategories of automata, automata in bicategories" (https://arxiv.org/pdf/2303.03865.pdf) "Completeness for categories of generalized automata" (https://arxiv.org/pdf/2303.03867.pdf) "Semibicategories of Moore...
Categorical automata in Agda This repository contains the Agda formalization for a series of papers by Guido Boccali, Andrea Laretto, Fosco Loregian, Stefano Luneia and Bojana Femić on categorical automata in monoidal and cartesian categories and how they are organized (semi)bicategorically. "Bicategories of automata, automata in bicategories" (https://arxiv.org/pdf/2303.03865.pdf) "Completeness for categories of generalized automata" (https://arxiv.org/pdf/2303.03867.pdf) "Semibicategories of Moore...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| abuseofnotation/category-theory-illustrated | HTMLCSSRuby | 285 | 0 | 32 | 0 |
| steshaw/plt | CSSHTMLJavaScript | 5.1k | +5 | 333 | 0 |
| sergei-romanenko/agda-simple-scp | AgdaCoq | 28 | 0 | 2 | 0 |
| DSLsofMath/DSLsofMath | HaskellTeXHTML | 382 | 0 | 48 | 0 |
| foones/dharma | CoqPythonC | 0 | 0 | 0 | 0 |
| glguy/my-agda-lib | Agda | 3 | 0 | 1 | 0 |
| msp-strath/MSPweb | HaskellHTMLAgda | 6 | 0 | 6 | 0 |
| vehicle-lang/vehicle | HaskellPythonVCL | 59 | 0 | 5 | 0 |
| samuelsonric/AlgebraicInference.jl | Julia | 17 | 0 | 1 | 0 |
| CQTS/summer23-homework | AgdaNix | 1 | 0 | 21 | 0 |