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