C4E, a JVM friendly library written in Scala for both local and distributed (Spark) Clustering.
Marvin AI has been accepted into the Apache Foundation and is now available at https://github.com/apache/incubator-marvin
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
A parser for the TPTP logic languages for automated theorem proving written in Scala
Drools made easy to use for scripting or testing purposes
FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.
Building applications with LLMs through composability, in Kotlin, Scala, ...