3 ms·An experimental and minimal Datalog implementation that compiles down to LLVM2 points by tluyben2 4y ago