DeFi Workbench

This project implements a Decentralized Finance (DeFi) library in OCaml, and experiments to explore the behaviour of DeFi ecosystems.

Usage

To build a test:

$ dune build test/test.exe

To run a test:

$ dune exec test/test.exe

Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. A theory of Automated Market Makers in DeFi. In Proc. COORDINATION 2021
Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente. SoK: Lending Pools in Decentralized Finance. In Proc. WTSC 2021

Name		Name	Last commit message	Last commit date
Latest commit History 43 Commits
ListAMM		ListAMM
lib		lib
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
defi.opam		defi.opam
dune-project		dune-project