Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with topos
A curated list of projects in awesome lists tagged with topos .
https://github.com/amintimany/Categories
A formalization of category theory in the Coq proof assistant.
adjunctions categories category-theory coq coq-formalization kan-extensions library proof-assistant topos
Last synced: 02 Aug 2024
https://github.com/amintimany/categories
A formalization of category theory in the Coq proof assistant.
adjunctions categories category-theory coq coq-formalization kan-extensions library proof-assistant topos
Last synced: 10 Oct 2024
https://github.com/tobetek/blitz-of-the-hidden-soldiers
Code repository for Blitz of the Hidden Soldiers. Unleash Tactical Mastery, Reveal the Hidden Heroes!
dapp smart-contract topos web3
Last synced: 23 Oct 2024
