Welcome to ART¶
Anoma Research Topics (ART) is an open-access, peer-reviewed index of research and development focused on distributed systems, cryptography, compilers, and Anoma related topics. It is community-driven and primarily features contributions from Anoma researchers, but external submissions are more than welcome.
-
Recent ARTs (Updated: 2026-02-07 02:58:55)
Intents, Intent Machines, Decentralized Finance, Coalgebra, Formalization, Smart Contracts, Automated System Design, Barter Systems
GOOSE: Good Object-Oriented System Experience
object-oriented programming, Anoma, Resource Machine
object-oriented programming, Anoma, Resource Machine
Heterogeneous trust in reliable broadcast via modal logic and history structures
Heterogeneous distributed systems, Distributed Broadcast, Bracha Broadcast, Modal Logic, Kripke semantics, History Structures