Similar repositories to plast-lab/souffle-addon:

• plast-lab/souffle-addon github similar
• gkastrinis/must-alias-java github similar
• nevillegrech/gigahorse-benchmarks github similar
• yanniss/souffle-num-addon github similar
• W4RH4WK/souffle-syntax github similar
• gfour/antlr2datalog github similar
• cnasikas/di-thesis-template github similar
• iliastsa/woof github similar
• gkastrinis/phd-thesis github similar
• LFrobeen/intellij-datalog github similar
• gkastrinis/panda github similar
• nikofil/rust-os github similar
• plast-lab/doop-mirror github similar
• nevillegrech/gigahorse-toolchain github similar
• balourdos/MemonomenaPeristatika.gr github similar
• vitsalis/PyCG github similar
• souffle-lang/souffle github similar
• EthTx/ethtx github similar
• cs01/gdbgui github similar
• AnthonyCalandra/modern-cpp-features github similar
• catchorg/Catch2 github similar
• OpenZeppelin/openzeppelin-contracts github similar
• yewstack/yew github similar
• evanw/esbuild github similar
• ethereum/go-ethereum github similar
• alacritty/alacritty github similar
• neovim/neovim github similar
• rust-lang/rust github similar