Skip to content

@anoma Anoma

Change the repository type filter

All

    Repositories list

    157 repositories

    • arm-risc0

      Public
      Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
      Rust
      •
      Apache License 2.0
      •8•13•15•27•Updated Apr 24, 2026Apr 24, 2026

    • avm-lab

      Public
      Brainstorm about AVM
      distributed-systemsinterpretercompilers
      distributed-systemsinterpretercompilersinstruction-set-architecturevirutal-machine
      Rust
      •0•0•4•0•Updated Apr 24, 2026Apr 24, 2026

    • anoma-app-sdk

      Public
      Common functionality for using AnomaPay
      TypeScript
      •0•1•6•3•Updated Apr 21, 2026Apr 21, 2026

    • juvix-stdlib

      Public
      The Juvix standard library
      libraryjuvix
      libraryjuvix
      Makefile
      •3•27•6•5•Updated Apr 20, 2026Apr 20, 2026

    • anomapay-erc20-forwarder

      Public
      Rust
      •1•0•6•2•Updated Apr 17, 2026Apr 17, 2026

    • pa-evm

      Public
      A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
      evmprotocol-adapteranoma
      evmprotocol-adapteranoma
      Rust
      •16•34•17•8•Updated Apr 16, 2026Apr 16, 2026

    • risc0-deployments

      Public
      Solidity
      •
      MIT License
      •0•0•0•0•Updated Apr 15, 2026Apr 15, 2026

    • hbb-lean

      Public
      Formalization of "History structures and modal logic for protocols of heterogeneous interoperability"
      Lean
      •
      Creative Commons Attribution 4.0 International
      •0•0•0•0•Updated Apr 11, 2026Apr 11, 2026

    • anoma

      Public
      Reference implementation of Anoma
      distributed-systemscryptographyerlang
      distributed-systemscryptographyerlangelixirprotocolblockchainp2pconsensusoperating-system
      Elixir
      •
      MIT License
      •4.1k•34k•90•30•Updated Apr 10, 2026Apr 10, 2026

    • event-broker

      Public
      I am the EventBroker application. I contain an implemenentation of a general PubSub system using the notion of filters.
      Elixir
      •
      MIT License
      •0•0•0•2•Updated Apr 10, 2026Apr 10, 2026

    • anoma-client

      Public
      Elixir
      •
      MIT License
      •0•0•0•0•Updated Apr 9, 2026Apr 9, 2026

    • anoma-lib

      Public
      Elixir
      •
      MIT License
      •1•0•0•1•Updated Apr 9, 2026Apr 9, 2026

    • anoma-protobuf

      Public
      I am the Anoma Protobuf application. I contain the Protobuf definitions and generate the Elixir representation of the Protobuf files.
      Elixir
      •
      MIT License
      •0•0•0•1•Updated Apr 9, 2026Apr 9, 2026

    • compile-protoc

      Public
      I contain the compiler task for Protobuf
      Elixir
      •
      MIT License
      •0•0•0•0•Updated Apr 9, 2026Apr 9, 2026

    • llm

      Public
      1•1•0•0•Updated Apr 7, 2026Apr 7, 2026

    • neptune

      Public
      Rust Poseidon implementation (contact: @porcuquine)
      Rust
      •
      Other
      •105•0•0•1•Updated Mar 17, 2026Mar 17, 2026

    • bellman

      Public
      zk-SNARK library.
      Rust
      •
      Other
      •558•0•0•1•Updated Mar 17, 2026Mar 17, 2026

    • bellpepper

      Public
      SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
      Rust
      •
      Other
      •20•0•0•1•Updated Mar 17, 2026Mar 17, 2026

    • sapling-crypto

      Public
      Zcash "Sapling" cryptography
      Rust
      •
      Other
      •75•0•0•1•Updated Mar 17, 2026Mar 17, 2026

    • beam2c

      Public
      An experiment in compiling BEAM bytecode to C
      Elixir
      •1•0•0•0•Updated Mar 15, 2026Mar 15, 2026

    • anoma-level-elixir-prototype

      Public
      Prototype for Anoma-Level in Elixir
      Elixir
      •1•1•0•2•Updated Feb 27, 2026Feb 27, 2026

    • ex_example

      Public
      Example Framework for Elixir
      Elixir
      •
      MIT License
      •0•3•0•1•Updated Feb 25, 2026Feb 25, 2026

    • risc0-beam

      Public
      Experiment in running translated BEAM code inside RISC Zero
      C
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 4, 2026Feb 4, 2026

    • ethereum-optimism.github.io

      Public
      Unified token list for OP Mainnet, Base, and other OP Chains
      TypeScript
      •847•0•0•0•Updated Feb 3, 2026Feb 3, 2026

    • anoma-local-domain

      Public
      Local Domain for Anoma
      Elixir
      •0•4•1•4•Updated Jan 20, 2026Jan 20, 2026

    • anoma-ci

      Public
      Earthly
      •0•0•0•0•Updated Jan 16, 2026Jan 16, 2026

    • geb

      Public
      A Categorical View of Computation
      lispcommon-lispcategory-theory
      lispcommon-lispcategory-theorycategoryidris2
      Idris
      •
      GNU General Public License v3.0
      •10•34•24•4•Updated Jan 1, 2026Jan 1, 2026

    • goose-lean

      Public
      GOOSE in Lean4
      Lean
      •
      ISC License
      •5•12•2•2•Updated Dec 19, 2025Dec 19, 2025

    • risc0-scheme

      Public
      Scheme-like DSL inside RISC Zero
      Rust
      •
      Apache License 2.0
      •1•2•0•0•Updated Nov 26, 2025Nov 26, 2025

    • specs.anoma.net

      Public
      HTML
      •0•0•0•0•Updated Nov 18, 2025Nov 18, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.