topos

Implementation of the Topos Protocol

A formalization of category theory in the Coq proof assistant.

A specialised computer algebra system for topos theory.

Docker base images for CI workflows and local use of topos projects in docker

Using distibuctional semantics (word2vec family algorithms and the CADE framework) to learn word embeddings from the Italian literary corpuses we generated.

Solidity smart contracts for Topos Protocol and Topos Messaging Protocol

🚀 dApp to transfer ERC20 tokens across subnets registered on Topos

A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.

'Morphological Source Code' functions as a quantized kernel for agentic motility, sharing foundational similarities with a Hilbert Space Kernel. It distinguishes itself by integrating an ADS/CFT-derived, Noetherian topological invariant, facilitating autopoietic automorphisms within a quine-like, epistemologically grounded, QFT-inspired framework.

CLI to get started in Topos in a blitz ⚡️

Rhino + Grasshopper tOpos workflow showing how to create “domain cuttings” (no-grow voids) in a topology optimization boundary using NonmanifoldMerge + CreateRegions, plus my GPU solver settings and meshing tips for stable, printable results.

Code repository for Blitz of the Hidden Soldiers. Unleash Tactical Mastery, Reveal the Hidden Heroes!

List, Links, Notes on Category Theory

The documentation platform for the Topos protocol and ZkEcosystem.

Repositorio para registrar lo correspondiente a nuestra investigación acerca de haces y topos

Continuous-time, sheaf-theoretic optimization substrate implementing Girard's Geometry of Interaction via parallelized JAX Neural ODE self-synthesis loops.

SUBIT-INK replaces the standard binary ink classifier with a four-valued Belnap bilattice, enabling the model to express epistemic states beyond a simple yes/no decision.

A formally verified PoC framework in Lean 4 for zero-knowledge cryptographic protocols, utilizing Homotopy Type Theory and Effective 2-Topos semantics.

SUBIT-TOPOS Specification. Formal Theory of Self-Referential Dynamical Systems