Explore @anoma Open Source projects

@anoma

anoma

Stars
5,102
Global Org. Rank 4,501 (Top 2 %)
Registered over 3 years ago
Most used languages

Rust
36.4 %

Makefile 10.9 %

TeX
7.3 %

Python
5.5 %

Shell
5.5 %

TypeScript
3.6 %

Idris 3.6 %

Haskell
3.6 %

Dockerfile
3.6 %

Agda 1.8 %

JavaScript
1.8 %

MDX 1.8 %

Standard ML 1.8 %

TLA 1.8 %

Jupyter Notebook
1.8 %

Emacs Lisp
1.8 %

Common Lisp
1.8 %

Isabelle 1.8 %

Solidity
1.8 %

CSS
1.8 %

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

anoma-archive

Reference implementation of the Anoma protocols in Rust.

namada-testnets

Testnet configurations and coordination for the Namada network.

namada-trusted-setup-claimer

Sign arbitrary messages with keys obtained from Namada's trusted setup

vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

taiga

A framework for generalized shielded state transitions

zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.

masp

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

ferveo

An implementation of a DKG protocol for front-running protection on Anoma.

namada-interface

whitepaper

namada-docs

namada-shielded-expedition

typhon

Formalization of Typhon protocol

geb

A Categorical View of Computation

research

Early-stage research related to the Anoma protocols.

specs

Specifications for the Anoma protocols.

alucard

A common lisp DSL for writing zero knowledge circuits

namada-indexer

Namada indexer to be used in conjunction with the namada interface

ethereum-bridge

A generalized fully trustless Ethereum bridge for sovereign chains.

minijuvix

juvix-stdlib

The Juvix standard library

VampIR-Book

A book which can act as an introduction and documentation for VampIR

masp-mpc

namada-mainnet-genesis

namada-sdk-starter

juvix-nightly-builds

abstract-resource-machine-simulator

anoma-alpha

An intent-centric, privacy-preserving protocol for decentralized counterparty discovery, solving, and multi-chain atomic settlement.

juvix-e2e-demo

Juvix compiler stack - Integration demo

exhibit_plonkup

devtool

anoma-blog

Jupyter Notebook

verify-beacon

vscode-juvix

VSCode extension for Juvix

dev-utils

namada-whitepaper

Namada whitepaper

juvix-docs

Juvix Official Documentation

devchain-container

intents-snippets

A repo to put code snippets related to intent research

Isabelle-HPaxos

A formalization of HPaxos in Isabelle

typhon-sml

Typhon reference implementation in Standard ML

namada-genesis

namada-masp-indexer

The Namada Masp Indexer reference implementation.

anoma-wasm-multitoken

Validity predicate and transactions for a variable supply multitoken account

wasm-workspace

namada-shielded-airdrop

anoma-blog-writing-guide

Comprehensive guide to writing blogposts for the anoma blog.

juvix-quickcheck

Property-based testing for Juvix

plonkup-hash

A collection of hash gadgets written for Plonkup

juvix-mode

The Juvix Emacs mode

vscode-vampir

anoma-app-lib

A library for intent-centric application development.

juvix-test

A testing framework for Juvix

juvix-anoma-test

A library for testing Anoma applications

juvix-containers

Immutable container types for Juvix

highlightjs-juvix

Juvix language grammars for highlightjs (low maintenance)

art-template

Anoma Research Topics Template

juvix-anoma-stdlib

A Juvix library for writing Anoma applications

namada-light-sdk-starter

Namada light sdk starter kit

ART-2023-Gureev-Cubides-Geb-Pipeline