Repositories list

• arm-risc0

  Public
  Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

  Rust

  •

  Apache License 2.0

  •6•11•14•13•Updated Oct 18, 2025Oct 18, 2025

• anoma-sdk

  Public
  The Anoma SDK for building your own Anoma applications

  Elixir

  •4•6•24•12•Updated Oct 18, 2025Oct 18, 2025

• evm-protocol-adapter

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

  evmprotocol-adapteranoma

  Solidity

  •

  MIT License

  •13•28•58•9•Updated Oct 17, 2025Oct 17, 2025

• Simple-Transfer-Example

  Public
  Rust

  •0•0•8•4•Updated Oct 17, 2025Oct 17, 2025

• goose-lean

  Public
  GOOSE in Lean4

  Lean

  •

  ISC License

  •4•8•1•2•Updated Oct 17, 2025Oct 17, 2025

• anoma-local-domain

  Public
  Local Domain for Anoma

  Elixir

  •0•4•0•3•Updated Oct 17, 2025Oct 17, 2025

• specs.anoma.net

  Public
  HTML

  •0•0•0•0•Updated Oct 17, 2025Oct 17, 2025

• nspec

  Public
  Anoma Spec

  distributed-systemsprotocolspecification+ 3blockchain-technologyjuvixanoma

  HTML

  •

  GNU General Public License v3.0

  •3•5•53•12•Updated Oct 17, 2025Oct 17, 2025

• geb

  Public
  A Categorical View of Computation

  lispcommon-lispcategory-theory+ 2categoryidris2

  Idris

  •

  GNU General Public License v3.0

  •9•33•24•4•Updated Oct 17, 2025Oct 17, 2025

• anoma

  Public
  Reference implementation of Anoma

  distributed-systemscryptographyerlang+ 6elixirprotocolblockchainp2pconsensusoperating-system

  Elixir

  •

  MIT License

  •4.1k•34k•122•70•Updated Oct 16, 2025Oct 16, 2025

• counter-example

  Public
  Example Anoma application

  Rust

  •1•0•1•1•Updated Oct 14, 2025Oct 14, 2025

• juvix-stdlib

  Public
  The Juvix standard library

  libraryjuvix

  Makefile

  •3•26•6•5•Updated Oct 13, 2025Oct 13, 2025

• ex_example

  Public
  Example Framework for Elixir

  Elixir

  •0•2•0•1•Updated Oct 9, 2025Oct 9, 2025

• juvix

  Public
  A language for intent-centric and declarative decentralised applications

  programming-languagefunctional-programminganoma+ 2arithmetic-circuitsprivacy-preserving-technologies

  Haskell

  •

  GNU General Public License v3.0

  •64•504•129•7•Updated Oct 5, 2025Oct 5, 2025

• anoma-beta-documentation

  Public
  0•0•0•0•Updated Sep 30, 2025Sep 30, 2025

• developer-docs

  Public
  test gitbook sync

  JavaScript

  •3•2•0•5•Updated Sep 29, 2025Sep 29, 2025

• anoma-pay-backend

  Public
  Backend for AnomaPay

  Elixir

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Sep 26, 2025Sep 26, 2025

• token

  Public
  The Anoma token contract written in Solidity

  Solidity

  •1•4•0•0•Updated Sep 22, 2025Sep 22, 2025

• counter-web

  Public
  Counter example web front-end.

  Elixir

  •0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

• gt-documents

  Public
  I contain Wardley maps for various plans for anoma and slides for reading groups

  Smalltalk

  •0•2•0•0•Updated Sep 15, 2025Sep 15, 2025

• dominion

  Public
  Welcome to the dominion of Anoma. Enjoy your stay, Citizen

  Smalltalk

  •0•1•0•0•Updated Sep 15, 2025Sep 15, 2025

• whitepaper

  Public
  TeX

  •34•88•0•0•Updated Sep 15, 2025Sep 15, 2025

• engine

  Public
  A formal model-adherent implementation of the Engine Model

  distributed-systemsactor-model

  Elixir

  •

  MIT License

  •0•3•1•1•Updated Sep 9, 2025Sep 9, 2025

• simple_counter

  Public
  simple_counter from arm-risc0

  Rust

  •0•0•0•0•Updated Aug 7, 2025Aug 7, 2025

• juvix-lean

  Public
  Juvix Lean library for compiler run verification

  Lean

  •

  MIT License

  •0•5•0•0•Updated Jul 22, 2025Jul 22, 2025

• Semitopology-Checker

  Public
  A model checker for semitopologies

  Rust

  •

  MIT License

  •0•0•2•0•Updated Jun 20, 2025Jun 20, 2025

• anoma-ci-test

  Public
  Elixir

  •

  MIT License

  •0•0•0•1•Updated Jun 19, 2025Jun 19, 2025

• juvix-docs

  Public
  Juvix Official Documentation

  documentationjuvix

  Makefile

  •

  GNU General Public License v3.0

  •6•8•4•1•Updated Jun 10, 2025Jun 10, 2025

• juvix-nightly-builds

  Public
  4•8•1•0•Updated Jun 2, 2025Jun 2, 2025

• anoma-applib

  Public
  A library for intent-centric application development.

  MIT License

  •0•9•8•0•Updated May 28, 2025May 28, 2025