There are 0 repository under topos topic.
A formalization of category theory in the Coq proof assistant.
Using distibuctional semantics (word2vec family algorithms and the CADE framework) to learn word embeddings from the Italian literary corpuses we generated.
Docker base images for CI workflows and local use of topos projects in docker
Solidity smart contracts for Topos Protocol and Topos Messaging Protocol
🚀 dApp to transfer ERC20 tokens across subnets registered on Topos
List, Links, Notes on Category Theory
Code repository for Blitz of the Hidden Soldiers. Unleash Tactical Mastery, Reveal the Hidden Heroes!
CLI to get started in Topos in a blitz ⚡️
The documentation platform for the Topos protocol and ZkEcosystem.