Pinned Repositories
atom-build
:hammer: Build your project directly from the Atom editor
bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
brackets-nativecode
Enhancements for Brackets when working with C, C++, Objective-C or Objective-C++
CodeMirror
In-browser code editor
cudd
Fabio Somenzi's CUDD package mirror
doxygen-yap
doxygen for prolog
yap
yap-6.3
YAP Development release
yap-udi-indexers
YAP UDI indexers
YAPDroid
YAP interface for Android
vscosta's Repositories
vscosta/yap
vscosta/yap-6.3
YAP Development release
vscosta/cudd
Fabio Somenzi's CUDD package mirror
vscosta/doxygen-yap
doxygen for prolog
vscosta/YAPDroid
YAP interface for Android
vscosta/yap-udi-indexers
YAP UDI indexers
vscosta/atom-build
:hammer: Build your project directly from the Atom editor
vscosta/bddem
bddem is a SWI-Prolog pack for using Binary Decision Diagrams
vscosta/brackets-nativecode
Enhancements for Brackets when working with C, C++, Objective-C or Objective-C++
vscosta/CodeMirror
In-browser code editor
vscosta/doxygen
vscosta/jupyterlab-prolog-codemirror-extension
A JupyterLab extension providing a Prolog CodeMirror
vscosta/language-prolog
Prolog language support for Atom
vscosta/lc
vscosta/osquery
SQL powered operating system instrumentation, monitoring, and analytics.
vscosta/prolog.tmbundle
TextMate support for Prolog
vscosta/public
Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
vscosta/rockit-gpu
vscosta/tree-sitter-yap
Tree sitter support for YAP Prolog
vscosta/tuffy-gpu
vscosta/tutorial-template
Template for the Read the Docs tutorial
vscosta/vsc-prolog
A VS Code extension that provides language support for prolog
vscosta/yap-geos
YAP geos Interface
vscosta/yap-raptor
vscosta/zed
Rethinking code editing.