pika-lab/argumentation/arg2p-kt

Last synced at: about 3 years ago - Stars: 1 - Forks: 0

exercises-and-experiments/lispified-picat

Last synced at: about 3 years ago - Stars: 0 - Forks: 0

pika-lab/tuprolog/2p-in-kotlin

A Kotlin Multi-Platform ecosystem for symbolic AI

Last synced at: about 3 years ago - Stars: 8 - Forks: 8

gilmi/logi

a silly little programming language inspired by datalog.

Last synced at: about 3 years ago - Stars: 0 - Forks: 0