Popular repositories Loading

1. datalog-crdt datalog-crdt Public

   Some CRDT implementations in Datalog

   18

2. exalog exalog Public

   Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support

   Haskell 17 3

3. temporalog temporalog Public

   A Datalog extension to reason about time with CTL operators

   Haskell 15

4. refinement-types-seminar refinement-types-seminar Public

   Material for Liquid Haskell/refinement types seminar at Queens' College

   Haskell 8

5. volpano-smith volpano-smith Public

   A compile-time privacy enforcing language embedded in Haskell

   Haskell 8

6. vanillalog vanillalog Public

   A simple Datalog front-end, Haskell DSL, and intermediate representation

   Haskell 7 1