Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up
Pinned repositories
Repositories
-
logtalk3
Logtalk - declarative object-oriented logic programming language
-
-
homebrew-core
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS -
-
syntax-highlighting
Forked from KDE/syntax-highlightingSyntax highlighting Engine for Structured Text and Code.
-
-
-
-
-
rouge
Forked from rouge-ruby/rougeA pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/
-
vsc-logtalk
Forked from arthwang/vsc-logtalk -
-
logtalk-intellij
Forked from java-prolog-connectivity/logtalk-intellijA Logtalk plugin for IntelliJ
-
learnxinyminutes-docs
Forked from adambard/learnxinyminutes-docsCode documentation written as code! How novel and totally my idea!
-
gerrit
Forked from GerritCodeReview/gerritGerrit Code Review - (mirror of http://gerrit.googlesource.com/gerrit)
-
-
documentation-theme-jekyll
Forked from tomjoht/documentation-theme-jekyllA Jekyll-based theme designed for documentation and help systems. See the link for detailed instructions on setting up and configuring everything.
-
-
talespin-annie
Forked from SWI-Prolog-Education/talespin-annieSimple Logtalk port of Annie's version of talespin
-
code-prettify
Forked from googlearchive/code-prettifyAutomatically exported from code.google.com/p/google-code-prettify
-
-
-
-
engines
Interactors (engines) for SWI-Prolog
-
-
-
logtalk2
Logtalk 2.x development version
-