GitHub repository: travis/covenant
Primary language: Clojure
Description: An implementation of the Jones-Eber-Seward contract model.