Similar repositories to aindilis/sigmakee-mode:
aindilis/sigmakee-mode
github
similar
opensim4opencog/PrologVirtualWorlds
github
similar
hpan-hml/hml-km-graniteloom
github
similar
hu-dwim/hu.dwim.bluez
github
similar
nicos-angelopoulos/real
github
similar
logicmoo/tauchain_prolog
github
similar
Shen-Language/shen-sbcl
github
similar
gruninger/Common-Logic
github
similar
friguzzi/trill-on-swish
github
similar
guitarvydas/wam
github
similar
logicmoo/CYC_JRTL_with_CommonLisp
github
similar
SeijiKoide/SWCLOS
github
similar
cycorp/DistributedRepresentations
github
similar
white-flame/clyc
github
similar
cmungall/cltools
github
similar
nilqed/SNARK
github
similar
keithj/cl-prolog
github
similar
logicmoo/logicmoo_clif
github
similar
tkuhn/AceRules
github
similar
sirlensalot/fadno-braids
github
similar
slyrus/abcl
github
similar
VisualDataWeb/ProtegeVOWL
github
similar
rkoeninger/ShenSharp
github
similar
alexmurray/flycheck-clang-analyzer
github
similar
aindilis/free-life-planner
github
similar
gruninger/colore
github
similar
LOD-Laundromat/LOD-Laundromat
github
similar
ClioPatria/ClioPatria
github
similar
webyrd/miniKanren-uncourse
github
similar
sjl/temperance
github
similar
ontologyportal/sigmakee
github
similar
felixflores/datomic_schema_grapher
github
similar
AceWiki/AceWiki
github
similar
wouterbeek/prolog_library_collection
github
similar
ontologyportal/sumo
github
similar
structureddynamics/UMBEL
github
similar
AmziLS/AmziProlog
github
similar
Shen-Language/shen-cl
github
similar
Attempto/APE
github
similar
vasil-sd/shen-libs
github
similar