luc-tielen

luc-tielen

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
391 Stars
37 Forks
13 Watchers

Repositories (3)

eclair-lang luc-tielen/eclair-lang Haskell

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

232
souffle-haskell luc-tielen/souffle-haskell C++

Haskell bindings for the Souffle datalog language

105
telescope_hoogle luc-tielen/telescope_hoogle Lua

Hoogle search integration for Telescope

54