Similar repositories to ptarau/PrologTutorial:
ptarau/PrologTutorial
github
similar
asaparov/grammar
github
similar
wbond/pymeta3
github
similar
boyland/twelf-library
github
similar
vscosta/yap
github
similar
jlaurens/synctex
github
similar
jasonsikes/QLogo
github
similar
stanford-ppl/hyperdsl
github
similar
plum-umd/abstracting-definitional-interpreters
github
similar
shriram/repro-in-cs
github
similar
dtonhofer/prolog_notes
github
similar
pegex-parser/pegex-pm
github
similar
cdglabs/prolog-viz
github
similar
pinax/pinax-starter-projects
github
similar
arthwang/vsc-prolog
github
similar
talksmall/Strongtalk
github
similar
jeffreykegler/libmarpa
github
similar
jgrahamc/lulip
github
similar
potassco/clasp
github
similar
metaborg/spoofax
github
similar
Comcast/traffic_control
github
similar
FAIRMetrics/Metrics
github
similar
TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd
github
similar
Shen-Language/shen-cl
github
similar
JCumin/Brachylog
github
similar
borkdude/re-find
github
similar
gasevi/pyreclab
github
similar
avadhpatel/marss
github
similar
ocaml-ppx/ppx_tools
github
similar
eliben/bobscheme
github
similar
zwegner/x86-sat
github
similar
jeffreykegler/Marpa--R2
github
similar
haskell/ThreadScope
github
similar
GregBowyer/ManagedRuntimeInitiative
github
similar
chrisseaton/katahdin
github
similar
mikemccand/chromium-compact-language-detector
github
similar
ciao-lang/ciao
github
similar
qfpl/hpython
github
similar
idris-hackers/idris-koans
github
similar
spacetx/starfish
github
similar