GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Logtalk - declarative object-oriented logic programming language
🍻 Default formulae for the missing package manager for macOS
A program that allows you to count your code, quickly.
A Jekyll-based theme designed for documentation and help systems. See the link for detailed instructions on setting up and configuring everything.
Main development repository
Simple Logtalk port of Annie's version of talespin
Gerrit Code Review - (mirror of http://gerrit.googlesource.com/gerrit)
Syntax highlighting Engine for Structured Text and Code.
Ace (Ajax.org Cloud9 Editor)
The official Vim repository
A pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/
Automatically exported from code.google.com/p/google-code-prettify
asdf plugin for Logtalk
Central plugin repository for asdf
Code documentation written as code! How novel and totally my idea!
A collection of useful .gitignore templates
Interactors (engines) for SWI-Prolog
Pastebin with runnable snippets and API
Prolog and Logtalk experiments, stuff
Logtalk 2.x development version
TextMate support for Logtalk