edbert Gator (edgar)'s repositories

Becoming-a-RUSTACEAN

my personal adventure to code and speak in RUST

Language:RustLicense:MITStargazers:2Issues:1Issues:0

aave-starknet-bridge

Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

Argonne-Quantum-Computing-Tutorial-2022

Hands-on material for the quantum computing tutorial at Argonne National Laboratory (13-17 June 2022)

Language:Jupyter NotebookStargazers:1Issues:0Issues:0

cairo

Starknet

Language:MakefileLicense:CC0-1.0Stargazers:1Issues:0Issues:0

circom

zkSnark circuit compiler

Language:WebAssemblyLicense:GPL-3.0Stargazers:1Issues:0Issues:0

Circuits-4-Circom

This is an attempt to develop ZK Applications in circom programming language .

Stargazers:1Issues:0Issues:0

echidna

Ethereum smart contract fuzzer

Language:SolidityLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

ideal-octo-barnacle

solidity trials and fuzzing

Stargazers:1Issues:0Issues:0

ink

Parity's ink! to write smart contracts.

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

jord-rs

Geographical Position Calculations

License:BSD-3-ClauseStargazers:1Issues:0Issues:0

merkle_patricia_tree

Patricia Merkle Tree implementation in Rust

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

noir

Noir is a domain specific language for zero knowledge proofs

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

Nova

Nova: Recursive SNARKs without trusted setup

License:MITStargazers:1Issues:0Issues:0

Quantum-

my Qiskit programing Tutorials

sparkling_water_bootcamp

Public repository for excersices, challenges and all the needs of the Sparkling Water Bootcamp

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

Tutorials

Practical tutorials of Certora Prover

Language:SolidityLicense:GPL-3.0Stargazers:1Issues:0Issues:0

Tutorials-BuildBear

Curated smart contract development and deployment tutorials, covering basics to advanced techniques for both beginners and experienced developers.

Stargazers:1Issues:0Issues:0

vamp-ir

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

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

zk-group-sigs

group signatures implemented with zkSNARKs

Stargazers:1Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

Circuits-from-NI

Circuits for functions of interest to cryptography

Stargazers:0Issues:0Issues:0

hyper-tls

Transport Layer Security

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

neurohack

My study on Dynamical Field Theory of Cognition {this study reveals how humans make decision. It's like studying the decision making process of the Brain}

Stargazers:0Issues:0Issues:0

programmingbitcoin

Repository for the book

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Rust-Jar

Rust Us Street.

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

starknet_in_rust

A Rust implementation of Starknet execution logic

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

web3knowledge

A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.

Stargazers:0Issues:0Issues:0

windows-drivers-rs

Platform that enables Windows driver development in Rust. Developed by Surface.

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