Skip to content
@anoma

Anoma

Anoma is a distributed operating system for the world computer.

Pinned Loading

  1. anoma Public

    Reference implementation of Anoma

    Elixir 8.1k 418

  2. namada Public

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

    Rust 2.4k 976

  3. juvix Public

    A language for intent-centric and declarative decentralised applications

    Haskell 463 53

  4. vamp-ir Public

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

    Rust 157 43

  5. taiga Public

    A framework for generalized shielded state transitions

    Rust 144 26

  6. whitepaper Public

    TeX 60 16

Repositories

Showing 10 of 118 repositories
  • 6 3 1 0 Updated Dec 19, 2024
  • juvix Public

    A language for intent-centric and declarative decentralised applications

    Haskell 463 GPL-3.0 53 126 8 Updated Dec 19, 2024
  • anoma-applib Public

    A library for intent-centric application development.

    2 MIT 0 9 13 Updated Dec 18, 2024
  • TypeScript 86 Apache-2.0 119 103 19 Updated Dec 18, 2024
  • anoma Public

    Reference implementation of Anoma

    Elixir 8,091 MIT 418 85 (1 issue needs help) 96 Updated Dec 18, 2024
  • namada Public

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

    Rust 2,416 GPL-3.0 976 137 (2 issues need help) 25 Updated Dec 18, 2024
  • namada-docs Public
    MDX 48 78 10 3 Updated Dec 18, 2024
  • typhon Public

    Formalization of Typhon protocol

    TLA 30 GPL-3.0 4 42 1 Updated Dec 18, 2024
  • namada-indexer Public

    Namada indexer to be used in conjunction with the namada interface

    Rust 24 12 15 (1 issue needs help) 9 Updated Dec 18, 2024
  • homebrew-juvix Public

    Homebrew tap for installing the Juvix compiler

    Ruby 0 MIT 2 1 2 Updated Dec 18, 2024