Skip to content
Change the repository type filter

All

    Repositories list

    • Rust
      Apache License 2.0
      0202Updated Apr 29, 2026Apr 29, 2026
    • arm-risc0

      Public
      Anoma Abstract Resource Machine Implementation using RISC Zero zkVM
      Rust
      Apache License 2.0
      8131527Updated Apr 29, 2026Apr 29, 2026
    • 0000Updated Apr 29, 2026Apr 29, 2026
    • A prototype for ThyHBB (Theory of Heterogeneous Bracha Broadcasting)
      Elixir
      MIT License
      0000Updated Apr 28, 2026Apr 28, 2026
    • pm-template

      Public template
      A template for project management-related GitHub repositories to be used with ZenHub
      0000Updated Apr 27, 2026Apr 27, 2026
    • The Juvix standard library
      Makefile
      32765Updated Apr 27, 2026Apr 27, 2026
    • pa-evm

      Public
      A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.
      Rust
      1634166Updated Apr 24, 2026Apr 24, 2026
    • Rust
      1060Updated Apr 24, 2026Apr 24, 2026
    • avm-lab

      Public
      Brainstorm about AVM
      Rust
      0040Updated Apr 24, 2026Apr 24, 2026
    • Common functionality for using AnomaPay
      TypeScript
      0163Updated Apr 21, 2026Apr 21, 2026
    • Solidity
      MIT License
      0000Updated 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
      0000Updated Apr 11, 2026Apr 11, 2026
    • anoma

      Public
      Reference implementation of Anoma
      Elixir
      MIT License
      4.1k34k9030Updated Apr 10, 2026Apr 10, 2026
    • I am the EventBroker application. I contain an implemenentation of a general PubSub system using the notion of filters.
      Elixir
      MIT License
      0002Updated Apr 10, 2026Apr 10, 2026
    • Elixir
      MIT License
      0000Updated Apr 9, 2026Apr 9, 2026
    • anoma-lib

      Public
      Elixir
      MIT License
      1001Updated Apr 9, 2026Apr 9, 2026
    • I am the Anoma Protobuf application. I contain the Protobuf definitions and generate the Elixir representation of the Protobuf files.
      Elixir
      MIT License
      0001Updated Apr 9, 2026Apr 9, 2026
    • I contain the compiler task for Protobuf
      Elixir
      MIT License
      0000Updated Apr 9, 2026Apr 9, 2026
    • llm

      Public
      1100Updated Apr 7, 2026Apr 7, 2026
    • neptune

      Public
      Rust Poseidon implementation (contact: @porcuquine)
      Rust
      Other
      105001Updated Mar 17, 2026Mar 17, 2026
    • bellman

      Public
      zk-SNARK library.
      Rust
      Other
      560001Updated Mar 17, 2026Mar 17, 2026
    • SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)
      Rust
      Other
      20001Updated Mar 17, 2026Mar 17, 2026
    • Zcash "Sapling" cryptography
      Rust
      Other
      76001Updated Mar 17, 2026Mar 17, 2026
    • beam2c

      Public
      An experiment in compiling BEAM bytecode to C
      Elixir
      1000Updated Mar 15, 2026Mar 15, 2026
    • Prototype for Anoma-Level in Elixir
      Elixir
      1102Updated Feb 27, 2026Feb 27, 2026
    • Example Framework for Elixir
      Elixir
      MIT License
      0301Updated Feb 25, 2026Feb 25, 2026
    • Experiment in running translated BEAM code inside RISC Zero
      C
      Apache License 2.0
      0000Updated Feb 4, 2026Feb 4, 2026
    • Unified token list for OP Mainnet, Base, and other OP Chains
      TypeScript
      846000Updated Feb 3, 2026Feb 3, 2026
    • Local Domain for Anoma
      Elixir
      0414Updated Jan 20, 2026Jan 20, 2026
    • anoma-ci

      Public
      Earthly
      0000Updated Jan 16, 2026Jan 16, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.