Anoma

Anoma is a distributed operating system for the world computer.

Verified
We've verified that the organization anoma controls the domain:
- anoma.net
Learn more about verified organizations

Overview
Repositories
Projects
Packages
People

Pinned Loading

anoma anoma Public

Reference implementation of Anoma

Elixir 33.7k 4.1k
whitepaper whitepaper Public

TeX 91 36
pa-evm pa-evm Public

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

Rust 34 16
arm-risc0 arm-risc0 Public

Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

Rust 14 7

Repositories

Type Language

Select language

All Agda C C++ Common Lisp CSS Dockerfile Earthly Elixir Emacs Lisp Erlang Haskell HTML Idris Isabelle JavaScript Julia Jupyter Notebook Lean Makefile Python Ruby Rust Scheme Shell Smalltalk Solidity Standard ML TeX TLA TypeScript

Sort

anoma-app-sdk Public
Common functionality for using AnomaPay

anoma/anoma-app-sdk's past year of commit activity

TypeScript 1 Apache-2.0 2 7 5 Updated Aug 19, 2026
AL-Ex Public
AL in Elixir - A Prototype

anoma/AL-Ex's past year of commit activity

Elixir 3 MIT 2 28 6 Updated Aug 19, 2026
arm-risc0 Public
Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

anoma/arm-risc0's past year of commit activity

Rust 14 Apache-2.0 7 3 10 Updated Aug 19, 2026
pa-evm Public
A protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.

anoma/pa-evm's past year of commit activity

Rust 34 16 10 6 Updated Aug 19, 2026
generic-call-resource Public

anoma/generic-call-resource's past year of commit activity

Rust 0 0 0 0 Updated Aug 19, 2026
anomapay-erc20-resource Public
Resource logics and RISC Zero zero-knowledge circuits for the AnomaPay ERC20 transfer resource on the Anoma Resource Machine (ARM).

anoma/anomapay-erc20-resource's past year of commit activity

Rust 0 0 1 0 Updated Aug 19, 2026
geb Public
A Categorical View of Computation

anoma/geb's past year of commit activity

Lean 36 GPL-3.0 10 24 0 Updated Aug 18, 2026
token Public
The Anoma token contract written in Solidity

anoma/token's past year of commit activity

Solidity 5 1 0 1 Updated Aug 17, 2026
juvix-stdlib Public
The Juvix standard library

anoma/juvix-stdlib's past year of commit activity

Makefile 27 3 6 5 Updated Aug 17, 2026
hbb-lean Public
Formalization of "History structures and modal logic for protocols of heterogeneous interoperability"

anoma/hbb-lean's past year of commit activity

Lean 0 CC-BY-4.0 0 0 0 Updated Aug 17, 2026

View all repositories

People

Top languages

Loading…

Most used topics

Loading…

Anoma · GitHub

Uh oh!

Uh oh!

Anoma

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!