jessica's repositories
aave-starknet-bridge
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
Language:SolidityMIT000
Language:JavaScriptMIT000
aave-v3-core
This repository contains the core smart contracts of the Aave V3 protocol.
Language:TypeScriptNOASSERTION000
Language:TypeScriptNOASSERTION000
Language:TypeScriptNOASSERTION000
ante-community-tests
Community-authored Ante Test repository
Language:Solidity000
certora-tutorials
Practical tutorials of Certora Prover
GPL-3.0000
Language:JavaScript000
Escrow-Hardhat
Escrow Decentralized Application built with Hardhat
Language:JavaScript000
Language:JavaScript000
interface
An open source interface for the decentralized liquidity protocol Aave
Language:TypeScriptNOASSERTION000
Language:TypeScript000
qiskit-iqx-tutorials
A collection of Jupyter notebooks showing how to use Qiskit that is synced with the IBM Q Experience
Language:Jupyter NotebookApache-2.0000
qp101
Quantum Programming 101: Jupyter notebooks
Language:Jupyter NotebookMIT000
VOQC-benchmarks
Benchmarks used to evaluate the VOQC optimizer
000