luc-tielen

luc-tielen

👤 Developer

3 repositories on SrcLog

View on GitHub
3 Repos
374 Stars
32 Forks
374 Watchers

Repositories (3)

eclair-lang luc-tielen/eclair-lang Haskell

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

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

Haskell bindings for the Souffle datalog language

103
telescope_hoogle luc-tielen/telescope_hoogle Lua

Hoogle search integration for Telescope

48