Similar repositories to yanniss/souffle-num-addon:
yanniss/souffle-num-addon
github
similar
gkastrinis/must-alias-java
github
similar
W4RH4WK/souffle-syntax
github
similar
plast-lab/souffle-addon
github
similar
cnasikas/di-thesis-template
github
similar
iliastsa/woof
github
similar
gkastrinis/phd-thesis
github
similar
gkastrinis/panda
github
similar
LFrobeen/intellij-datalog
github
similar
nikofil/rust-os
github
similar
plast-lab/doop-mirror
github
similar
balourdos/MemonomenaPeristatika.gr
github
similar
nevillegrech/gigahorse-toolchain
github
similar
seahorn/crab
github
similar
vitsalis/PyCG
github
similar
seahorn/clam
github
similar
carllerche/codegen
github
similar
souffle-lang/souffle
github
similar
travitch/whole-program-llvm
github
similar
rust-lang/datafrog
github
similar
lifting-bits/remill
github
similar
oracle/graaljs
github
similar
PyTorchLightning/lightning-bolts
github
similar
flix/flix
github
similar
klee/klee
github
similar
mit-pdos/biscuit
github
similar
yegord/snowman
github
similar
lalrpop/lalrpop
github
similar
Rari-Capital/solmate
github
similar
luckyframework/lucky
github
similar
bytecodealliance/cranelift
github
similar
sorbet/sorbet
github
similar
Byron/gitoxide
github
similar
danmar/cppcheck
github
similar
facebook/redex
github
similar
theanalyst/awesome-distributed-systems
github
similar
microsoft/language-server-protocol
github
similar
ornicar/lila
github
similar
ory/hydra
github
similar
gradle/gradle
github
similar