eclair-lang
A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
200 stars
4 watching
12 forks
Language: Haskell
last commit: 9 months ago
Linked from 2 awesome lists
compilerdataloghaskellllvmlogic-programming