Similar repositories to julienhenry/tree-sitter-souffle:
julienhenry/tree-sitter-souffle
github
similar
rocky/elisp-decompile
github
similar
philzook58/egglog
github
similar
MagpieBridge/MagpieBridge
github
similar
Zac-HD/hypothesmith
github
similar
luc-tielen/eclair-lang
github
similar
KMahoney/squee
github
similar
jacobaustin123/Coral
github
similar
marcoeilers/nagini
github
similar
bitwalker/combine
github
similar
seahorn/clam
github
similar
textX/Arpeggio
github
similar
comnik/declarative-dataflow
github
similar
vellvm/vellvm
github
similar
rafcamlet/nvim-luapad
github
similar
mgaudet/CompilerJobs
github
similar
rntz/datafun
github
similar
lifting-bits/rellic
github
similar
disconcision/fructure
github
similar
souffle-lang/souffle
github
similar
jlink/jqwik
github
similar
AndrasKovacs/smalltt
github
similar
binpash/pash
github
similar
GaloisInc/crucible
github
similar
nix-community/comma
github
similar
arxiv-vanity/engrafo
github
similar
UnkindPartition/tasty
github
similar
JetBrains/Arend
github
similar
microsoft/llvm-mctoll
github
similar
saschagrunert/kubernix
github
similar
haskell-nix/hnix
github
similar
vmware/differential-datalog
github
similar
composewell/streamly
github
similar
google/xsecurelock
github
similar
pschanely/CrossHair
github
similar
YosysHQ/icestorm
github
similar
skvadrik/re2c
github
similar
dhall-lang/dhall-haskell
github
similar
edwinb/Idris2-boot
github
similar
uwdata/arquero
github
similar