Pinned

1. eclair-lang Public

   A minimal, fast Datalog implementation in Haskell that compiles to LLVM

   Haskell 134 7

2. souffle-haskell Public

   Haskell bindings for the Souffle datalog language

   C++ 87 11

3. Cure Public

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

   Elixir 73 13

4. lua-quickcheck Public

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

   Lua 35 1

5. typesystem Public

   Experiments using a bidirectional typesystem

   Haskell 16

6. dotfiles Public

   My dot files collection

   Lua 2