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 31.6k 3.9k

  2. whitepaper whitepaper Public

    TeX 69 23

  3. research research Public

    Early-stage research related to the Anoma protocols.

    Idris 26 3

  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 4

Repositories

Showing 10 of 118 repositories
  • goose-lean Public

    GOOSE in Lean4

    anoma/goose-lean’s past year of commit activity
    Lean 2 ISC 0 5 2 Updated Jul 16, 2025
  • arm-risc0 Public

    Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

    anoma/arm-risc0’s past year of commit activity
    Rust 3 Apache-2.0 1 12 11 Updated Jul 15, 2025
  • anoma Public

    Reference implementation of Anoma

    anoma/anoma’s past year of commit activity
    Elixir 31,611 MIT 3,919 122 60 Updated Jul 14, 2025
  • juvix-stdlib Public

    The Juvix standard library

    anoma/juvix-stdlib’s past year of commit activity
    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.

    anoma/evm-protocol-adapter’s past year of commit activity
    Solidity 4 MIT 0 17 1 Updated Jul 11, 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 0 0 0 0 Updated Jul 10, 2025
  • anoma-sdk Public

    The Anoma SDK for building your own Anoma applications

    anoma/anoma-sdk’s past year of commit activity
    Elixir 0 0 6 0 Updated Jun 25, 2025
  • Semitopology-Checker Public

    A model checker for semitopologies

    anoma/Semitopology-Checker’s past year of commit activity
    Rust 0 MIT 0 2 0 Updated Jun 20, 2025
  • juvix Public

    A language for intent-centric and declarative decentralised applications

    anoma/juvix’s past year of commit activity
    Haskell 491 GPL-3.0 62 129 5 Updated Jun 10, 2025
  • juvix-docs Public

    Juvix Official Documentation

    anoma/juvix-docs’s past year of commit activity
    Makefile 8 GPL-3.0 5 4 0 Updated Jun 10, 2025
View all repositories