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.2k 4.1k

  2. whitepaper whitepaper Public

    TeX 90 34

  3. research research Public

    Early-stage research related to the Anoma protocols.

    Idris 35 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 33 14

Repositories

Showing 10 of 137 repositories
  • geb Public

    A Categorical View of Computation

    anoma/geb’s past year of commit activity
    Idris 34 GPL-3.0 10 24 4 Updated Dec 11, 2025
  • arm-risc0 Public

    Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

    anoma/arm-risc0’s past year of commit activity
    Rust 12 Apache-2.0 7 15 14 Updated Dec 10, 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 33 MIT 14 45 4 Updated Dec 8, 2025
  • juvix-stdlib Public

    The Juvix standard library

    anoma/juvix-stdlib’s past year of commit activity
    Makefile 27 3 6 5 Updated Dec 8, 2025
  • anoma-local-domain Public

    Local Domain for Anoma

    anoma/anoma-local-domain’s past year of commit activity
    Elixir 4 0 1 6 Updated Dec 7, 2025
  • anoma Public

    Reference implementation of Anoma

    anoma/anoma’s past year of commit activity
    Elixir 34,185 MIT 4,102 121 64 Updated Dec 7, 2025
  • risc0-scheme Public

    Scheme-like DSL inside RISC Zero

    anoma/risc0-scheme’s past year of commit activity
    Rust 0 Apache-2.0 1 0 0 Updated Nov 26, 2025
  • anoma/specs.anoma.net’s past year of commit activity
    HTML 0 0 0 0 Updated Nov 18, 2025
  • nspec Public

    Anoma Spec

    anoma/nspec’s past year of commit activity
    HTML 6 GPL-3.0 3 51 9 Updated Nov 18, 2025
  • arm-risc0-examples Public

    Arm-Risc0 application examples

    anoma/arm-risc0-examples’s past year of commit activity
    Rust 0 0 0 0 Updated Nov 13, 2025