Skip to content
@anoma

Anoma

Anoma is a distributed operating system for the world computer.

Pinned Loading

  1. anoma anoma Public

    Reference implementation of Anoma

    Elixir 34.1k 4k

  2. whitepaper whitepaper Public

    TeX 82 31

  3. research research Public

    Early-stage research related to the Anoma protocols.

    Idris 32 5

  4. evm-protocol-adapter evm-protocol-adapter Public

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

    Solidity 16 6

Repositories

Showing 10 of 126 repositories
  • anoma-sdk Public

    The Anoma SDK for building your own Anoma applications

    anoma/anoma-sdk’s past year of commit activity
    Elixir 2 1 25 0 Updated Sep 3, 2025
  • evm-protocol-adapter Public

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

    anoma/evm-protocol-adapter’s past year of commit activity
    Solidity 16 MIT 6 56 13 Updated Sep 3, 2025
  • token Public

    The Anoma token contract written in Solidity

    anoma/token’s past year of commit activity
    Solidity 3 1 10 3 Updated Sep 3, 2025
  • arm-risc0 Public

    Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

    anoma/arm-risc0’s past year of commit activity
    Rust 6 Apache-2.0 3 10 1 Updated Sep 3, 2025
  • goose-lean Public

    GOOSE in Lean4

    anoma/goose-lean’s past year of commit activity
    Lean 7 ISC 3 2 2 Updated Sep 3, 2025
  • gt-documents Public

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

    anoma/gt-documents’s past year of commit activity
    Smalltalk 1 0 0 0 Updated Sep 2, 2025
  • juvix-stdlib Public

    The Juvix standard library

    anoma/juvix-stdlib’s past year of commit activity
    Makefile 18 3 5 5 Updated Sep 1, 2025
  • geb Public

    A Categorical View of Computation

    anoma/geb’s past year of commit activity
    Idris 33 GPL-3.0 9 24 4 Updated Aug 31, 2025
  • engine Public

    A formal model-adherent implementation of the Engine Model

    anoma/engine’s past year of commit activity
    Elixir 2 MIT 0 1 0 Updated Aug 29, 2025
  • nspec Public

    Anoma Spec

    anoma/nspec’s past year of commit activity
    HTML 5 GPL-3.0 1 53 12 Updated Aug 27, 2025
View all repositories