Popular repositories Loading

1. LogicKit LogicKit Public

   Forked from kyouko-taiga/SwiftKanren

   A Swift implementation of miniKanren.

   Swift 1

2. oldstratagem oldstratagem Public

   Forked from mundacho/stratagem

   Stratagem - DD- and rewriting strategies- based model checker

   Scala

3. stratagem stratagem Public

   Java

4. cuso-winter-school cuso-winter-school Public

   Forked from cui-unige/cuso-winter-school

   CUSO Winter School in Computer Science

5. AlpineLang AlpineLang Public

   Forked from kyouko-taiga/AlpineLang

   The Alpine language

   Swift