GitHub repository: CARVE-ROBMOSYS/BTCompiler
Primary language: OCaml
Description: Software for verified execution of Behavior Trees