Torstenlibrary of C++ functions that support applications of Stan in Pharmacometrics
daisykitDaisykit is an easy AI toolkit for software engineers to integrate pretrained AI models and pipelines into their projects. - with NCNN, OpenCV, Python wrappers
experexperimental rule-based programming formalism (under construction)
IDVerification"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.
lisp-inferenceAn Inference Engine based on Propositional Calculus written in Common Lisp
pomagmaAn inference engine for extensional untyped λ-calculus
planerPowerful Light Artificial NEuRon inference framework for CNN