Repositories list

• namada-governance-upgrades

  Public
  Rust

  •3•4•2•13•Updated Jun 20, 2025Jun 20, 2025

• namada-interface

  Public
  TypeScript

  •

  Apache License 2.0

  •126•98•93•22•Updated Jun 20, 2025Jun 20, 2025

• gt-documents

  Public
  I contain Wardley maps for various plans for anoma and slides for reading groups

  Smalltalk

  •0•0•0•0•Updated Jun 20, 2025Jun 20, 2025

• Semitopology-Checker

  Public
  A model checker for semitopologies

  Rust

  •

  MIT License

  •0•0•2•0•Updated Jun 20, 2025Jun 20, 2025

• anoma

  Public
  Reference implementation of Anoma

  distributed-systemscryptographyerlang+ 6elixirprotocolblockchainp2pconsensusoperating-system

  Elixir

  •

  MIT License

  •3.8k•29k•118•55•Updated Jun 20, 2025Jun 20, 2025

• anoma-sdk

  Public
  The Anoma SDK for building your own Anoma applications

  Elixir

  •0•0•2•0•Updated Jun 20, 2025Jun 20, 2025

• arm-risc0

  Public
  Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

  Rust

  •

  Apache License 2.0

  •1•2•4•0•Updated Jun 20, 2025Jun 20, 2025

• namada-sdkjs

  Public
  Namada JS SDK

  Rust

  •1•0•1•1•Updated Jun 20, 2025Jun 20, 2025

• namada

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

  privacyzkprust+ 1blockchain

  Rust

  •

  GNU General Public License v3.0

  •1k•2.5k•165•45•Updated Jun 20, 2025Jun 20, 2025

• namada-indexer

  Public
  Namada indexer to be used in conjunction with the namada interface

  Rust

  •18•39•17•9•Updated Jun 20, 2025Jun 20, 2025

• nam-wasm-instrument

  Public
  Instrument and transform wasm modules.

  Rust

  •

  Apache License 2.0

  •18•0•0•0•Updated Jun 20, 2025Jun 20, 2025

• explori

  Public
  TypeScript

  •0•0•2•0•Updated Jun 18, 2025Jun 18, 2025

• namada-chain-registry

  Public
  GNU General Public License v3.0

  •4•3•0•3•Updated Jun 17, 2025Jun 17, 2025

• evm-protocol-adapter

  Public
  A protocol adapter contract written in Solidity enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.

  evmprotocol-adapteranoma

  Solidity

  •

  MIT License

  •0•3•4•0•Updated Jun 16, 2025Jun 16, 2025

• shielded-state-sync

  Public
  Synchronize shielded messages using fuzzy message detection (FMD).

  rustcryptofuzzy-matching+ 3flaggingfmdfuzzy-message-detection

  Rust

  •0•2•6•0•Updated Jun 16, 2025Jun 16, 2025

• juvix-stdlib

  Public
  The Juvix standard library

  libraryjuvix

  Makefile

  •3•14•5•5•Updated Jun 16, 2025Jun 16, 2025

• namada-docs

  Public
  MDX

  •81•50•12•4•Updated Jun 11, 2025Jun 11, 2025

• namada-sdkjs-examples

  Public
  TypeScript

  •0•1•0•1•Updated Jun 11, 2025Jun 11, 2025

• juvix

  Public
  A language for intent-centric and declarative decentralised applications

  programming-languagefunctional-programminganoma+ 2arithmetic-circuitsprivacy-preserving-technologies

  Haskell

  •

  GNU General Public License v3.0

  •63•483•129•5•Updated Jun 10, 2025Jun 10, 2025

• juvix-docs

  Public
  Juvix Official Documentation

  documentationjuvix

  Makefile

  •

  GNU General Public License v3.0

  •5•8•4•0•Updated Jun 10, 2025Jun 10, 2025

• engine

  Public
  A formal model-adherent implementation of the Engine Model

  distributed-systemsactor-model

  Elixir

  •

  MIT License

  •0•1•1•0•Updated Jun 6, 2025Jun 6, 2025

• kassandra-service

  Public
  The service that runs the Kassandra protocol. This protocol implements fuzzy message detection for the Namada MASP utilizing trusted execution environments

  Rust

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Jun 5, 2025Jun 5, 2025

• juvix-nightly-builds

  Public
  4•8•1•0•Updated Jun 2, 2025Jun 2, 2025

• anoma-applib

  Public
  A library for intent-centric application development.

  MIT License

  •0•8•8•0•Updated May 28, 2025May 28, 2025

• anoma-apps

  Public
  Anoma application examples

  JavaScript

  •

  GNU General Public License v3.0

  •5•12•13•4•Updated May 23, 2025May 23, 2025

• ledger-namada

  Public
  C

  •

  Apache License 2.0

  •10•1•0•2•Updated May 22, 2025May 22, 2025

• juvix-lean

  Public
  Juvix Lean library for compiler run verification

  Lean

  •

  MIT License

  •0•4•0•1•Updated May 16, 2025May 16, 2025

• juvix-test

  Public
  A testing framework for Juvix

  Shell

  •2•3•1•0•Updated May 15, 2025May 15, 2025

• cosmwasm

  Public
  Framework for building smart contracts in Wasm for the Cosmos SDK

  Rust

  •

  Apache License 2.0

  •386•0•0•0•Updated May 13, 2025May 13, 2025

• juvix-mtl

  Public
  Monad transformers for Juvix

  0•1•0•0•Updated May 12, 2025May 12, 2025