jkrivine

CNRSParis

Pinned Repositories

miniota
Language:OCaml0 3 00
model-evm
Formal modeling of EVM contracts
Language:TeX0 2 10
bchain-class
Language:Solidity0 1 00
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 6 73
mangrove-core
🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics
Language:Solidity46 5 3115
mangrove-strats
🌴 Mangrove strat-lib with example strats and offer logics
Language:Solidity1 5 01
mangrove.js
🌴 SDK for building applications on Mangrove and bots using the SDK
Language:TypeScript31 6 13112