anoma

namada

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

juvix

A language for intent-centric and declarative decentralised applications

taiga

A framework for generalized shielded state transitions

masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.

namada-interface

namada-docs

geb

A Categorical View of Computation

namada-indexer

Namada indexer to be used in conjunction with the namada interface

juvix-stdlib

The Juvix standard library

namada-mainnet-genesis

juvix-nightly-builds

anoma-blog

vscode-juvix

VSCode extension for Juvix

juvix-quickcheck

Property-based testing for Juvix

namada-genesis

namada-masp-indexer

The Namada Masp Indexer reference implementation.

anoma-app-patterns

A library for intent-centric application development.

ART-2024-Khalniyazova-Goes-Resource-Machine-Specification

art-template

Anoma Research Topics Template

juvix-anoma-stdlib

A Juvix library for writing Anoma applications

juvix-anoma-test

A library for testing Anoma applications

juvix-containers

Immutable container types for Juvix

juvix-mode

The Juvix Emacs mode

juvix-test

A testing framework for Juvix

homebrew-juvix

Homebrew tap for installing the Juvix compiler

aarm-cairo

ART-2024-Heuer-Reusche-Cubides-Resource-Machine-Applications

juvix-installer

Juvix Binary installer

juvix-mkdocs

Highlight Juvix codeblocks in Mkdocs websites

namada-governance-upgrades