─── ecosystem · anoma

Anoma

repositories

144

contributors

776

languages

top lang

Rust

repo wow

contrib wow

+232

star wow

+48

weeks avail

─── weekly trend · 5w

repositories

contributors

776

stars

38,836

─── top languages · by repos

─── repositories

100 / 144

#	repository	lang	stars	forks
001	anoma/anoma Reference implementation of Anoma	Elixir	33,808	4,116
002	namada-net/namada Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy	Rust	2,523	1,022
003	anoma/juvix A language for intent-centric and declarative decentralised applications	Haskell	510	63
004	anoma/namada-testnets Testnet configurations and coordination for the Namada network.	—	354	1,542
005	namada-net/namada-trusted-setup-claimer Sign arbitrary messages with keys obtained from Namada's trusted setup	Rust	319	142
006	anoma/vamp-ir Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits	Rust	163	49
007	anoma/taiga A framework for generalized shielded state transitions	Rust	148	25
008	anoma/zkp-compiler-shootout Evaluating & benchmarking ZKP compilation strategies.	Rust	120	12
009	namada-net/namada-trusted-setup Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers	Rust	117	63
010	namada-net/namada-interface	TypeScript	106	128
011	namada-net/masp The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.	Rust	92	26
012	anoma/whitepaper	TeX	89	34
013	anoma/ferveo An implementation of a DKG protocol for front-running protection on Anoma.	Rust	84	21
014	namada-net/namada-docs	MDX	51	82
015	namada-net/namada-indexer Namada indexer to be used in conjunction with the namada interface	Rust	49	18
016	Zondax/namadexer Namada indexer	Rust	41	55
017	anoma/research Early-stage research related to the Anoma protocols.	Idris	36	5
018	anoma/pa-evm A protocol adapter contract enabling Anoma Resource Machine transaction settlement on EVM-compatible chains.	Rust	35	17
019	anoma/geb A Categorical View of Computation	Idris	34	10
020	anoma/typhon Formalization of Typhon protocol	TLA	30	5
021	anoma/juvix-stdlib The Juvix standard library	Makefile	27	3
022	plurigrid/asi everything is topological chemputer!	HTML	23	6
023	anoma/anoma-apps Anoma application examples	JavaScript	15	7
024	anoma/ethereum-bridge A generalized fully trustless Ethereum bridge for sovereign chains.	Solidity	14	7
025	anoma/arm-risc0 Anoma Abstract Resource Machine Implementation using RISC Zero zkVM	Rust	13	8
026	anoma/goose-lean GOOSE in Lean4	Lean	12	5
027	Zondax/ledger-namada	C	12	10
028	namada-net/namada-masp-indexer The Namada Masp Indexer reference implementation.	Rust	11	6
029	anoma/anoma-applib A library for intent-centric application development.	—	9	0
030	anoma/VampIR-Book A book which can act as an introduction and documentation for VampIR	CSS	9	2
031	anoma/green	Elixir	8	0
032	anoma/juvix-docs Juvix Official Documentation	Makefile	8	6
033	anoma/juvix-nightly-builds	—	8	4
034	namada-net/sparse-merkle-tree An optimized sparse merkle tree.	Rust	8	3
035	anoma/masp-mpc MASP MPC code	Rust	7	2
036	anoma/abstract-resource-machine-simulator	Makefile	6	3
037	anoma/anoma-blog	Jupyter Notebook	6	3
038	anoma/anoma-sdk The Anoma SDK for building your own Anoma applications	Elixir	6	4
039	anoma/juvix-lean Juvix Lean library for compiler run verification	Lean	6	1
040	anoma/namada-sdk-starter	Rust	6	3
041	anoma/nspec Anoma Spec	HTML	6	3
042	anoma/exhibit_plonkup	Rust	5	1
043	anoma/token The Anoma token contract written in Solidity	Solidity	5	1
044	namada-net/ibc-middleware IBC middleware implementations, augmenting ibc-rs	Rust	5	1
045	namada-net/namada-genesis	Python	5	1
046	namada-net/namada-governance-upgrades	Rust	5	5
047	namada-net/shielded-state-sync Synchronize shielded messages using fuzzy message detection (FMD).	Rust	5	1
048	anoma/anoma-local-domain Local Domain for Anoma	Elixir	4	0
049	anoma/devchain-container	Shell	4	1
050	anoma/devtool	Rust	4	1
051	anoma/juvix-arm-specs	—	4	1
052	anoma/juvix-quickcheck Property-based testing for Juvix	Makefile	4	1
053	anoma/smooth-operator Rust checked arithmetic without the visual clutter	Rust	4	0
054	anoma/usize-set A sparse bit set Rust crate	Rust	4	1
055	anoma/vscode-juvix VSCode extension for Juvix	TypeScript	4	3
056	anoma/wasm-workspace	Rust	4	1
057	anoma/anoma-blog-writing-guide Comprehensive guide to writing blogposts for the anoma blog.	—	3	0
058	anoma/cl-rm The Common Lisp OO Resource Machine Demo	Common Lisp	3	0
059	anoma/dev-utils	Shell	3	1
060	anoma/ex_example Example Framework for Elixir	Elixir	3	0
061	anoma/juvix-test A testing framework for Juvix	Shell	3	2
062	anoma/namada-whitepaper Namada whitepaper	—	3	1
063	anoma/typhon-sml Typhon reference implementation in Standard ML	Standard ML	3	3
064	namada-net/kassandra-service The service that runs the Kassandra protocol. This protocol implements fuzzy message detection for the Namada MASP utilizing trusted execution environments	Rust	3	0
065	namada-net/namada-chain-registry	—	3	4
066	namada-net/namada-shielded-airdrop	Rust	3	2
067	anoma/aarm-cairo	Rust	2	0
068	anoma/anoma-python-client A reference implementation of a third-party client in Python	Python	2	0
069	anoma/anoma-wasm-multitoken Validity predicate and transactions for a variable supply multitoken account	Rust	2	1
070	anoma/art-template Anoma Research Topics Template	TeX	2	2
071	anoma/developer-docs test gitbook sync	JavaScript	2	3
072	anoma/intents-snippets A repo to put code snippets related to intent research	Agda	2	1
073	anoma/Isabelle-HPaxos A formalization of HPaxos in Isabelle	Isabelle	2	0
074	anoma/juvix-anoma-test A library for testing Anoma applications	—	2	0
075	anoma/juvix-containers Immutable container types for Juvix	Makefile	2	3
076	anoma/juvix-installer Juvix Binary installer	Shell	2	1
077	anoma/juvix-mode The Juvix Emacs mode	Emacs Lisp	2	1
078	anoma/juvix-mtl Monad transformers for Juvix	—	2	0
079	anoma/lisp-resource-machine An old implementation of the Anoma Resource Machine in Common Lisp	Common Lisp	2	0
080	anoma/risc0-lean-example Example of Lean 4 in RISC0 guest	Rust	2	2
081	anoma/verify-beacon	Rust	2	1
082	namada-net/ethbridge-rs Namada Ethereum bridge Rust compatible types	Rust	2	0
083	namada-net/namada-sdkjs-examples	TypeScript	2	0
084	anoma/anoma-typescript-client	JavaScript	1	0
085	anoma/applications-workshop A workshop about Anoma applications.	Dockerfile	1	1
086	anoma/ART-2023-Gureev-Cubides-Geb-Pipeline	TeX	1	0
087	anoma/borsh-ext Simple extensions to borsh-rs	Rust	1	0
088	anoma/docs-examples	—	1	0
089	anoma/dominion Welcome to the dominion of Anoma. Enjoy your stay, Citizen	Smalltalk	1	0
090	anoma/enacl Erlang bindings for NaCl / libsodium	Erlang	1	1
091	anoma/highlightjs-juvix Juvix language grammars for highlightjs (low maintenance)	JavaScript	1	1
092	anoma/homebrew-juvix Homebrew tap for installing the Juvix compiler	Ruby	1	3
093	anoma/juvix-arm-transparent	—	1	0
094	anoma/juvix-cairo-vm Cairo VM CLI with Juvix support	Rust	1	1
095	anoma/juvix-mkdocs Beautiful documentation websites using Mkdocs and Juvix support	JavaScript	1	2
096	anoma/namada-archive The home of the old Anoma-Archive	Rust	1	0
097	anoma/namada-sdkjs-node-examples This is a simple repo that demonstrates bootstrapping the SDK in a NodeJS application	JavaScript	1	0
098	anoma/plonkup-hash A collection of hash gadgets written for Plonkup	Rust	1	1
099	anoma/redjubjub A minimal RedJubjub implementation for use in Zebra.	Rust	1	0
100	anoma/rust-bech32 Bech32 format encoding and decoding	—	1	0

Want deeper analysis?

Commission a benchmark report for Anoma.

[→] request report

─── subscriber view

Unlock the full view of the Anoma ecosystem

· Full repository, commit, and contributor breakdown
· Peer graph + ecosystem links
· Weekly trend deltas and pulse signal
· API + CSV / JSON exports

[$] subscribe sign in

Already a subscriber? Sign in with the same email used at checkout.