Odra.dev (odradev)

Odra.dev

odradev

Geek Repo

Home Page:https://odra.dev

Github PK Tool:Github PK Tool

Odra.dev's repositories

awesome-zero-knowledge

A curated list of Zero Knowledge links, mostly focusing on blockchain.

License:MITStargazers:237Issues:12Issues:0

odra

Odra framework

Language:RustLicense:MITStargazers:62Issues:7Issues:208
Language:RustLicense:Apache-2.0Stargazers:17Issues:1Issues:0
Language:RustLicense:MITStargazers:3Issues:2Issues:0

c3-lang

C3 Linearization for Rust

Language:RustLicense:MITStargazers:1Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:1Issues:0Issues:0
Language:RustStargazers:1Issues:0Issues:0

odradev.github.io

https://odra.dev

Language:HTMLLicense:MITStargazers:1Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

casper-event-standard

The smart contract level events for Casper Network.

License:Apache-2.0Stargazers:0Issues:0Issues:0

casper-events

Library for handling Casper events in smart contracts.

Stargazers:0Issues:1Issues:0

casper-node

Casper node

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Stargazers:0Issues:2Issues:0

odra-cep47

CEP-47 implementation using Odra

Language:RustStargazers:0Issues:0Issues:0

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0