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 26.4k 3.8k

  2. namada namada Public

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

    Rust 2.5k 992

  3. juvix juvix Public

    A language for intent-centric and declarative decentralised applications

    Haskell 474 57

  4. vamp-ir vamp-ir Public

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

    Rust 160 49

  5. taiga taiga Public

    A framework for generalized shielded state transitions

    Rust 149 26

  6. whitepaper whitepaper Public

    TeX 63 18

Repositories

Showing 10 of 138 repositories
  • juvix-nightly-builds Public
    anoma/juvix-nightly-builds’s past year of commit activity
    7 3 1 0 Updated Feb 19, 2025
  • juvix Public

    A language for intent-centric and declarative decentralised applications

    anoma/juvix’s past year of commit activity
    Haskell 474 GPL-3.0 57 123 8 Updated Feb 18, 2025
  • namada-interface Public
    anoma/namada-interface’s past year of commit activity
    TypeScript 93 Apache-2.0 122 112 21 Updated Feb 18, 2025
  • namada-governance-upgrades Public
    anoma/namada-governance-upgrades’s past year of commit activity
    Rust 2 3 2 5 Updated Feb 18, 2025
  • juvix-lean Public

    Juvix Lean library for compiler run verification

    anoma/juvix-lean’s past year of commit activity
    Lean 3 MIT 0 0 1 Updated Feb 18, 2025
  • namada-chain-registry Public
    anoma/namada-chain-registry’s past year of commit activity
    1 GPL-3.0 3 0 3 Updated Feb 18, 2025
  • anoma-apps Public

    Anoma application examples

    anoma/anoma-apps’s past year of commit activity
    JavaScript 7 GPL-3.0 1 9 2 Updated Feb 18, 2025
  • anoma Public

    Reference implementation of Anoma

    anoma/anoma’s past year of commit activity
    Elixir 26,379 MIT 3,782 112 92 Updated Feb 18, 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 28 14 19 7 Updated Feb 18, 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,459 GPL-3.0 992 149 (2 issues need help) 22 Updated Feb 18, 2025
View all repositories

Top languages

Loading…