Anoma's repositories
namada-indexer
Namada indexer to be used in conjunction with the namada interface
juvix-stdlib
The Juvix standard library
vscode-juvix
VSCode extension for Juvix
juvix-quickcheck
Property-based testing for Juvix
namada-masp-indexer
The Namada Masp Indexer reference implementation.
anoma-app-patterns
A library for intent-centric application development.
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
Language:TeX000
juvix-installer
Juvix Binary installer
juvix-mkdocs
Highlight Juvix codeblocks in Mkdocs websites
Language:Rust000