clf

celf

lollimon

Lollimon, a monadic concurrent linear logic programming language

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

llf

Original LLF implementation (typechecher + operational semantics) from 1997