Repositories list

• 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•29•52•11•Updated Nov 4, 2025Nov 4, 2025

• l2c

  Public
  A compiler from a Scheme-like language to C

  Rust

  •0•0•0•0•Updated Nov 4, 2025Nov 4, 2025

• risc0-lean-example

  Public

  anoma/risc0-lean-example’s past year of commit activity
  Example of Lean 4 in RISC0 guest

  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Nov 3, 2025Nov 3, 2025

• anoma-issues

  Public

  anoma/anoma-issues’s past year of commit activity
  Issues for Anoma that are not actionable for a specific repository

  0•0•2•0•Updated Nov 3, 2025Nov 3, 2025

• arm-risc0

  Public
  Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

  Rust

  •

  Apache License 2.0

  •6•11•16•14•Updated Nov 3, 2025Nov 3, 2025

• juvix-stdlib

  Public
  The Juvix standard library

  libraryjuvix

  Makefile

  •3•27•6•5•Updated Nov 3, 2025Nov 3, 2025

• geb

  Public

  anoma/geb’s past year of commit activity
  A Categorical View of Computation

  lispcommon-lispcategory-theory+ 2categoryidris2

  Idris

  •

  GNU General Public License v3.0

  •10•33•24•4•Updated Nov 3, 2025Nov 3, 2025

• goose-lean

  Public

  anoma/goose-lean’s past year of commit activity
  GOOSE in Lean4

  Lean

  •

  ISC License

  •4•9•3•4•Updated Oct 31, 2025Oct 31, 2025

• lean-risc0-init

  Public

  anoma/lean-risc0-init’s past year of commit activity
  Lean4 Init library for RISC0

  Lean

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 31, 2025Oct 31, 2025

• lean-risc0-runtime

  Public
  Lean4 runtime for RISC0

  C++

  •

  Apache License 2.0

  •0•0•0•0•Updated Oct 31, 2025Oct 31, 2025

• chicken-core

  Public
  Scheme

  •

  Other

  •0•1•0•0•Updated Oct 29, 2025Oct 29, 2025

• anoma-local-domain

  Public
  Local Domain for Anoma

  Elixir

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

• ex_example

  Public
  Example Framework for Elixir

  Elixir

  •0•2•0•2•Updated Oct 23, 2025Oct 23, 2025

• anoma

  Public

  anoma/anoma’s past year of commit activity
  Reference implementation of Anoma

  distributed-systemscryptographyerlang+ 6elixirprotocolblockchainp2pconsensusoperating-system

  Elixir

  •

  MIT License

  •4.1k•34k•121•70•Updated Oct 22, 2025Oct 22, 2025

• lean4

  Public

  anoma/lean4’s past year of commit activity
  Lean 4 programming language and theorem prover

  Lean

  •

  Apache License 2.0

  •689•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• counter-example

  Public

  anoma/counter-example’s past year of commit activity
  Example Anoma application

  Rust

  •1•0•1•1•Updated Oct 20, 2025Oct 20, 2025

• anoma-sdk

  Public

  anoma/anoma-sdk’s past year of commit activity
  The Anoma SDK for building your own Anoma applications

  Elixir

  •4•6•16•12•Updated Oct 20, 2025Oct 20, 2025

• developer-docs

  Public

  anoma/developer-docs’s past year of commit activity
  test gitbook sync

  JavaScript

  •3•2•0•5•Updated Oct 20, 2025Oct 20, 2025

• specs.anoma.net

  Public

  anoma/specs.anoma.net’s past year of commit activity
  HTML

  •0•0•0•0•Updated Oct 20, 2025Oct 20, 2025

• nspec

  Public

  anoma/nspec’s past year of commit activity
  Anoma Spec

  distributed-systemsprotocolspecification+ 3blockchain-technologyjuvixanoma

  HTML

  •

  GNU General Public License v3.0

  •3•5•53•11•Updated Oct 20, 2025Oct 20, 2025

• juvix

  Public

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

  anoma/anoma-beta-documentation’s past year of commit activity
  0•0•0•0•Updated Sep 30, 2025Sep 30, 2025

• token

  Public

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

  anoma/whitepaper’s past year of commit activity
  TeX

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

• engine

  Public

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