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
  • 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 57 11 Updated Sep 1, 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 1, 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
  • 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 Aug 31, 2025
  • token Public

    The Anoma token contract written in Solidity

    anoma/token’s past year of commit activity
    Solidity 3 1 10 1 Updated Aug 29, 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
  • goose-lean Public

    GOOSE in Lean4

    anoma/goose-lean’s past year of commit activity
    Lean 7 ISC 3 2 2 Updated Aug 28, 2025
  • nspec Public

    Anoma Spec

    anoma/nspec’s past year of commit activity
    HTML 4 GPL-3.0 1 53 12 Updated Aug 27, 2025
  • 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 Aug 27, 2025
View all repositories