pmoura/weak-bases
An encoding of the Boolean co-clone lattice in Prolog, with tools for constructing weak bases.
Developer Profile
pmoura
Discovered public repositories for pmoura in the GitHub catalog.
pmoura/public
Prolog Development Tool for Eclipse (PDT) -- http://sewiki.iai.uni-bonn.de/research/pdt/
pmoura/marelle
Test-driven system administration with a little extra logic.
pmoura/banpipe
BANpipe is logic-based pipeline programming language
pmoura/SyntaxHighlighter
SyntaxHighlighter is a fully functional self-contained code syntax highlighter developed in JavaScript.
pmoura/linguist
Language Savant
pmoura/ohcount
The Ohloh source code line counter