Anoma का सार्वजनिक GitHub फुटप्रिंट

Reference implementation of Anoma

A language for intent-centric and declarative decentralised applications

Testnet configurations and coordination for the Namada network.

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

A framework for generalized shielded state transitions

Evaluating & benchmarking ZKP compilation strategies.

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

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

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Early-stage research related to the Anoma protocols.

A Categorical View of Computation

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

Formalization of Typhon protocol

The Juvix standard library

Anoma application examples

Anoma Abstract Resource Machine Implementation using RISC Zero zkVM

A generalized fully trustless Ethereum bridge for sovereign chains.

GOOSE in Lean4

A library for intent-centric application development.

Juvix Official Documentation

MASP MPC code

Anoma Spec

Juvix Lean library for compiler run verification

The Anoma SDK for building your own Anoma applications

The Anoma token contract written in Solidity

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Local Domain for Anoma

VSCode extension for Juvix

A sparse bit set Rust crate

Rust checked arithmetic without the visual clutter

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

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Example Framework for Elixir

The Common Lisp OO Resource Machine Demo

A formal model-adherent implementation of the Engine Model

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

A testing framework for Juvix

Typhon reference implementation in Standard ML

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Gitbook sync

Scheme-like DSL inside RISC Zero

Example of Lean 4 in RISC0 guest

An old implementation of the Anoma Resource Machine in Common Lisp

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Monad transformers for Juvix

A reference implementation of a third-party client in Python

Common functionality for using AnomaPay

Prototype for Anoma-Level in Elixir

Protocol adapter tests

A workshop about Anoma applications.

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Lean4 runtime for RISC0

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Homebrew tap for installing the Juvix compiler

Simulations for the Slow Game ART

A minimal RedJubjub implementation for use in Zebra.

Bech32 format encoding and decoding

This is a simple repo that demonstrates bootstrapping the SDK in a NodeJS application

A forwarder contract allowing generic EVM calls to be triggered through the Anoma EVM protocol adapter.

Experiment in writing ARM circuits using Noir DSL

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Base contracts to inherit from when implementing a forwarder for the Anoma protocol adapter

Resource logics and RISC Zero zero-knowledge circuits for the AnomaPay ERC20 transfer resource on the Anoma Resource Machine (ARM).

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Here I try various ideas for arm-core

A forwarder contract allowing to wrap ERC20 tokens into resources using the Anoma Protocol Adapter

I am the EventBroker application. I contain an implemenentation of a general PubSub system using the notion of filters.

A prototype for ThyHBB (Theory of Heterogeneous Bracha Broadcasting)

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

A template for project management-related GitHub repositories to be used with ZenHub

Brainstorm about AVM

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

I am the Anoma Protobuf application. I contain the Protobuf definitions and generate the Elixir representation of the Protobuf files.

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

I contain the compiler task for Protobuf

Zcash "Sapling" cryptography

zk-SNARK library.

Rust Poseidon implementation (contact: @porcuquine)

SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)

An experiment in compiling BEAM bytecode to C

Formalization of "History structures and modal logic for protocols of heterogeneous interoperability"

Experiment in running translated BEAM code inside RISC Zero

Unified token list for OP Mainnet, Base, and other OP Chains

Rust implementation of the Speedex algorithm

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Arm-Risc0 application examples

A compiler from a Scheme-like language to C

Issues for Anoma that are not actionable for a specific repository

Lean4 Init library for RISC0

Lean 4 programming language and theorem prover

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

Counter example web front-end.

Example Anoma application

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

simple_counter from arm-risc0

इस रिपोजिटरी के लिए कोई विवरण प्रदान नहीं किया गया।

A model checker for semitopologies

Framework for building smart contracts in Wasm for the Cosmos SDK