• Standard ML 38 3 Updated Nov 11, 2013
  • An implementation of substructural intuitionistic logic focused on forward chaining

    Standard ML 10 3 Updated Oct 16, 2013
  • Original LLF implementation (typechecher + operational semantics) from 1997

    5 1 Updated Oct 14, 2011
  • Lollimon, a monadic concurrent linear logic programming language

    OCaml 10 Updated Oct 14, 2011