fogfish/datum

pure functional and generic programming for Erlang

lyons/ExKanren

Relational programming in Elixir

ghostdogpr/purelogic

Direct-style pure domain logic for Scala

dwhjames/datomisca

Datomisca: a Scala API for Datomic

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

dialog-db/dialog-db

Dialog is an embeddable database designed for local-first software.

mynlp/ccg2lambda

Provide Semantic Parsing solutions and Natural Language Inferences for multiple languages following…

apache/couchdb-couch

Mirror of Apache CouchDB