Pinned

1. souffle-haskell Public

   Haskell bindings for the Souffle datalog language

   C++ 79 8

2. Cure Public

   Small library that interfaces C-code with Erlang/Elixir using Ports.

   Elixir 72 12

3. eclair-lang Public

   A minimal, fast Datalog implementation in Haskell

   Haskell 76 3

4. lua-quickcheck Public

   Property based testing in Lua, inspired by the original QuickCheck.

   Lua 32 1

5. typesystem Public

   Experiments using a bidirectional typesystem

   Haskell 16

6. dotfiles Public

   My dot files collection

   Lua 1