fei's repositories
crypto-data-warehouse
A data warehouse to crypto
Language:JavaScript000
aave-protocol-v2-AStETH
Aave Protocol V2 AStETH verification
Language:TypeScriptNOASSERTION000
aave-starknet-bridge
Bridge aTokens to Starknet for cheap AAVE rewards collection and token exchange
Language:PythonMIT000
Language:JavaScriptMIT000
bump-metrics
A node.js app to generate a csv file with bump token metrics data
Language:JavaScriptMIT000
Language:SolidityMIT000
Language:JavaScriptMIT000
Language:Python000
Language:Rust000
badger-onchain-rewards
Generalized onChain reward contract that allows to retroactively reward depositors with any token
Language:Solidity000
binance-order-creator
A tool to create order on binance.com
Language:Rust000
cv
A personal CV (resume)
Language:HTML000
Language:JavaScript000
Language:JavaScript000
ic-logger
Motoko library to help create an append-only logger actor
Language:MotokoMIT000
Language:Move000
Language:JavaScript000
Language:Rust000
Language:JavaScript000
python-pro-bootcamp
Code repo for python pro bootcamp
Language:Python000
Language:Rust000
Language:Rust000
Language:Rust000
Tutorials
Practical tutorials of Certora Prover
Language:SolidityGPL-3.0000