jkrivine

CNRSParis

Pinned Repositories

miniota
Language:OCaml00
model-evm
Formal modeling of EVM contracts
Language:TeX00
bchain-class
Language:Solidity00
homepage
Language:Jupyter Notebook0 1 00
tl_interpreter
Language:OCaml5 4 81
mangrove-archive
Language:Solidity2 3 320
mangrove-bots
🌴 Bots for the Mangrove ecosystem
Language:TypeScript4 7 73
mangrove-core
🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics
Language:Solidity44 6 3117
mangrove-strats
🌴 Mangrove strat-lib with example strats and offer logics
Language:Solidity1 6 01
mangrove.js
🌴 SDK for building applications on Mangrove and bots using the SDK
Language:TypeScript31 6 13112