Similar repositories to gfour/antlr2datalog:
gfour/antlr2datalog
github
similar
plast-lab/souffle-addon
github
similar
LFrobeen/intellij-datalog
github
similar
dvanhorn/oaam
github
similar
mcclure/emily
github
similar
ympbyc/Carrot
github
similar
talw/crisp-compiler
github
similar
frankmcsherry/dynamic-datalog
github
similar
teyjus/teyjus
github
similar
axch/dysvunctional-language
github
similar
nevillegrech/gigahorse-toolchain
github
similar
hypirion/c-rrb
github
similar
infradig/trealla
github
similar
vitsalis/PyCG
github
similar
darius/ichbins
github
similar
souffle-lang/souffle
github
similar
ethan-leba/tree-edit
github
similar
cil-project/cil
github
similar
EthTx/ethtx
github
similar
GrammaTech/ddisasm
github
similar
eudoxia0/corvus
github
similar
nschloe/termplotlib
github
similar
Co-dfns/Co-dfns
github
similar
franko/luajit-lang-toolkit
github
similar
DennisMitchell/jellylanguage
github
similar
justinmeiners/lc3-vm
github
similar
grin-compiler/grin
github
similar
alexfru/SmallerC
github
similar
ReadyTalk/avian
github
similar
brenns10/lsh
github
similar
andrejbauer/plzoo
github
similar
sheredom/utf8.h
github
similar
zsaleeba/picoc
github
similar
tomprimozic/type-systems
github
similar
rui314/9cc
github
similar
diku-dk/futhark
github
similar
leanprover/lean
github
similar
koka-lang/koka
github
similar
orangeduck/mpc
github
similar
sdiehl/write-you-a-haskell
github
similar