Change the repository type filter
All
Repositories list
106 repositories
- A Categorical View of Computation
- Reference implementation of the Anoma
namada
Public- A language for intent-centric and declarative decentralised applications
juvix-test
Publicjuvix-quickcheck
Publicjuvix-arm-transparent
Publicjuvix-arm-specs
Publicenacl
Publicgreen
Publicnamada-archive
Publicnamada-indexer
Publicanoma-typescript-client
Publicjuvix-anoma-stdlib
Publicnamada-masp-indexer
Publicnamada-docs
Publicnamada-shielded-airdrop
Publicmasp
PublicThe multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.art-template
Public templatejuvix-mode
Publictaiga
PublicA framework for generalized shielded state transitionsaarm-cairo
Publicnamada-genesis
Public