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

  2. whitepaper whitepaper Public

    TeX 88 34

  3. research research Public

    Early-stage research related to the Anoma protocols.

    Idris 33 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 28 13

Repositories

Showing 10 of 130 repositories
  • geb Public

    A Categorical View of Computation

    anoma/geb’s past year of commit activity
    Idris 33 GPL-3.0 10 24 4 Updated Oct 26, 2025
  • anoma-local-domain Public

    Local Domain for Anoma

    anoma/anoma-local-domain’s past year of commit activity
    Elixir 4 0 0 8 Updated Oct 24, 2025
  • goose-lean Public

    GOOSE in Lean4

    anoma/goose-lean’s past year of commit activity
    Lean 9 ISC 4 2 2 Updated Oct 24, 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 28 MIT 13 57 11 Updated Oct 24, 2025
  • arm-risc0 Public

    Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

    anoma/arm-risc0’s past year of commit activity
    Rust 11 Apache-2.0 6 15 14 Updated Oct 23, 2025
  • ex_example Public

    Example Framework for Elixir

    anoma/ex_example’s past year of commit activity
    Elixir 2 0 0 2 Updated Oct 23, 2025
  • anoma Public

    Reference implementation of Anoma

    anoma/anoma’s past year of commit activity
    Elixir 34,294 MIT 4,099 122 70 Updated Oct 22, 2025
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    anoma/lean4’s past year of commit activity
    Lean 0 Apache-2.0 704 0 0 Updated Oct 22, 2025
  • counter-example Public

    Example Anoma application

    anoma/counter-example’s past year of commit activity
    Rust 0 1 1 1 Updated Oct 20, 2025
  • anoma-sdk Public

    The Anoma SDK for building your own Anoma applications

    anoma/anoma-sdk’s past year of commit activity
    Elixir 6 4 24 12 Updated Oct 20, 2025
View all repositories

Most used topics

Loading…