Skip to content
View tsondru's full-sized avatar
4 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Organizations

@AstralProtocol @sustia-llc

Block or report tsondru

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. irreducible irreducible Public

    Computational irreducibility as functoriality (Gorard arXiv:2301.04690) — Turing machines, cellular automata, hypergraph rewriting, Fong-Spivak Frobenius verification in Rust, built on catgraph

    Rust 2

  2. catgraph catgraph Public

    Cospans, spans, hypergraph rewriting (DPO), multiway evolution, discrete curvature, Petri nets, Frobenius algebras, wiring diagrams, E_n operads, compact closed categories, and lattice gauge theory…

    Rust 1

  3. sustia-llc/surrealdb-live-message sustia-llc/surrealdb-live-message Public

    Agent messaging based on SurrealDB live query

    Rust 4 1