Skip to content
@anoma

Anoma

Anoma is a distributed operating system for the world computer.

Pinned Loading

  1. anoma Public

    Reference implementation of Anoma

    Elixir 31.8k 3.9k

  2. whitepaper Public

    TeX 69 23

  3. research Public

    Early-stage research related to the Anoma protocols.

    Idris 26 3

  4. evm-protocol-adapter Public

    A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.

    Solidity 4

Repositories

Showing 10 of 118 repositories
  • anoma Public

    Reference implementation of Anoma

    Elixir 31,802 MIT 3,925 122 60 Updated Jul 17, 2025
  • goose-lean Public

    GOOSE in Lean4

    Lean 2 ISC 0 4 3 Updated Jul 17, 2025
  • arm-risc0 Public

    Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

    Rust 3 Apache-2.0 1 12 13 Updated Jul 16, 2025
  • whitepaper Public
    TeX 69 23 0 0 Updated Jul 16, 2025
  • juvix-stdlib Public

    The Juvix standard library

    Makefile 15 3 5 5 Updated Jul 14, 2025
  • evm-protocol-adapter Public

    A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.

    Solidity 4 MIT 0 18 1 Updated Jul 11, 2025
  • gt-documents Public

    I contain Wardley maps for various plans for anoma and slides for reading groups

    Smalltalk 0 0 0 0 Updated Jul 10, 2025
  • anoma-sdk Public

    The Anoma SDK for building your own Anoma applications

    Elixir 0 0 6 0 Updated Jun 25, 2025
  • Semitopology-Checker Public

    A model checker for semitopologies

    Rust 0 MIT 0 2 0 Updated Jun 20, 2025
  • juvix Public

    A language for intent-centric and declarative decentralised applications

    Haskell 491 GPL-3.0 62 129 5 Updated Jun 10, 2025
View all repositories