Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content
@anoma

Anoma

Anoma is a distributed operating system for the world computer.

Pinned Loading

  1. anoma anoma Public

    Reference implementation of Anoma

    Elixir 28.3k 3.8k

  2. namada namada Public

    Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

    Rust 2.5k 995

  3. juvix juvix Public

    A language for intent-centric and declarative decentralised applications

    Haskell 478 59

  4. vamp-ir vamp-ir Public

    Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

    Rust 160 50

  5. taiga taiga Public

    A framework for generalized shielded state transitions

    Rust 150 26

  6. whitepaper whitepaper Public

    TeX 64 21

Repositories

Showing 10 of 141 repositories
  • namada-interface Public
    anoma/namada-interface’s past year of commit activity
    TypeScript 95 Apache-2.0 123 67 25 Updated Apr 8, 2025
  • anoma Public

    Reference implementation of Anoma

    anoma/anoma’s past year of commit activity
    Elixir 28,337 MIT 3,821 103 57 Updated Apr 8, 2025
  • namada Public

    Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

    anoma/namada’s past year of commit activity
    Rust 2,472 GPL-3.0 995 157 (2 issues need help) 27 Updated Apr 8, 2025
  • juvix Public

    A language for intent-centric and declarative decentralised applications

    anoma/juvix’s past year of commit activity
    Haskell 478 GPL-3.0 59 129 9 Updated Apr 8, 2025
  • aarm-risc0 Public

    Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

    anoma/aarm-risc0’s past year of commit activity
    Rust 1 Apache-2.0 0 3 3 Updated Apr 8, 2025
  • juvix-lean Public

    Juvix Lean library for compiler run verification

    anoma/juvix-lean’s past year of commit activity
    Lean 4 MIT 0 0 1 Updated Apr 8, 2025
  • namada-indexer Public

    Namada indexer to be used in conjunction with the namada interface

    anoma/namada-indexer’s past year of commit activity
    Rust 34 14 13 7 Updated Apr 8, 2025
  • kassandra-service Public

    The service that runs the Kassandra protocol. This protocol implements fuzzy message detection for the Namada MASP utilizing trusted execution environments

    anoma/kassandra-service’s past year of commit activity
    Rust 1 GPL-3.0 0 2 0 Updated Apr 8, 2025
  • shielded-state-sync Public

    Synchronize shielded messages using fuzzy message detection (FMD).

    anoma/shielded-state-sync’s past year of commit activity
    Rust 2 0 5 1 Updated Apr 8, 2025
  • juvix-nightly-builds Public
    anoma/juvix-nightly-builds’s past year of commit activity
    8 4 1 0 Updated Apr 8, 2025
View all repositories

Top languages

Loading…