Spark Search - high performance advanced search features based on Apache Lucene
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
Kolibri - A concurrent, clusterable, open-source execution framework based on Akka, written in Scala
Lucene Query Syntax Parser