GitHub repository: patham9/narjure
Primary language: Clojure
Description: A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.