A borrow checker for an extension of the simply typed lambda calculus.
For more info and background, read the paper.
You will need OCaml and dune installed.
To run the REPL:
dune exec borrow_lambda
For some examples of expressions, see the examples.