dwhjames/datomisca

Datomisca: a Scala API for Datomic

JBakouny/Scallina

A Coq-based synthesis of Scala programs which are correct-by-construction

fogfish/datum

pure functional and generic programming for Erlang

fogfish/datalog

simplified query engine based on logic programming paradigm

pniederw/expecty

Power assertions (as known from Groovy and Spock) for the Scala language.

jaalonso/Lecturas_GLC

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

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

IndiscriminateCoding/clarity

Functional programming library for OCaml