8000 Anoma · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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 30.8k 3.9k

  2. juvix juvix Public

    A language for intent-centric and declarative decentralised applications

    Haskell 490 62

  3. vamp-ir vamp-ir Public

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

    Rust 164 50

  4. taiga taiga Public

    A framework for generalized shielded state transitions

    Rust 150 26

  5. whitepaper whitepaper Public

    TeX 67 23

  6. research research Public

    Early-stage research related to the Anoma protocols.

    Idris 24 3

Repositories

Showing 10 of 119 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0