-
-
-
-
tutorial-template Public template
Forked from readthedocs/tutorial-templateTemplate for the Read the Docs tutorial
XSLT UpdatedJul 4, 2023 -
jupyterlab-prolog-codemirror-extension Public
Forked from hhu-stups/jupyterlab-prolog-codemirror-extensionA JupyterLab extension providing a Prolog CodeMirror
Python BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2022 -
-
-
bddem Public
Forked from friguzzi/bddembddem is a SWI-Prolog pack for using Binary Decision Diagrams
C Other UpdatedNov 6, 2020 -
vsc-prolog Public
Forked from arthwang/vsc-prologA VS Code extension that provides language support for prolog
TypeScript MIT License UpdatedOct 27, 2018 -
CodeMirror Public
Forked from codemirror/codemirror5In-browser code editor
JavaScript MIT License UpdatedOct 23, 2018 -
-
-
-
cudd Public
Fabio Somenzi's CUDD package mirror
-
atom-build Public
Forked from noseglid/atom-build🔨 Build your project directly from the Atom editor
JavaScript MIT License UpdatedFeb 21, 2016 -
zed Public
Forked from zedapp/zedRethinking code editing.
-
-
brackets-nativecode Public
Forked from peterflynn/brackets-nativecodeEnhancements for Brackets when working with C, C++, Objective-C or Objective-C++
-
yap-udi-indexers Public
Forked from davidmgvaz/yap-udi-indexersYAP UDI indexers
-
osquery Public
Forked from osquery/osquerySQL powered operating system instrumentation, monitoring, and analytics.
C++ Other UpdatedDec 8, 2014 -
prolog.tmbundle Public
Forked from textmate/prolog.tmbundleTextMate support for Prolog
UpdatedJun 18, 2014 -
public Public
Forked from pdt-git/publicProlog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
-
language-prolog Public
Forked from JakeHP/language-prologProlog language support for Atom
-
yap-raptor Public
Forked from davidmgvaz/yap-raptorC GNU General Public License v2.0 UpdatedNov 21, 2013 -
{{ message }}