clf

clf

Skip to content

@clf

Popular repositories Loading

Lollimon, a monadic concurrent linear logic programming language

OCaml 28 5
An implementation of substructural intuitionistic logic focused on forward chaining

Standard ML 15 4
llf llf Public

Original LLF implementation (typechecher + operational semantics) from 1997

7 1

Repositories

Showing 4 of 4 repositories

clf/celf’s past year of commit activity

Standard ML
65
GPL-3.0
6 1 0
Updated Jun 24, 2019
ollibot Public
An implementation of substructural intuitionistic logic focused on forward chaining

clf/ollibot’s past year of commit activity

Standard ML
15 4 1 0
Updated Oct 16, 2013
llf Public
Original LLF implementation (typechecher + operational semantics) from 1997

clf/llf’s past year of commit activity

7 1 0 0
Updated Oct 14, 2011
lollimon Public
Lollimon, a monadic concurrent linear logic programming language

clf/lollimon’s past year of commit activity

OCaml
28 5 0 0
Updated Oct 14, 2011

Most used topics

Loading…