Future-proof note-taking and publishing based on Zettelkasten
A logic programming tool and a logical database with a RESTful API
Mark Stephen Sobkow's Code Factory
Repository for all ArangoDB interactive tutorial notebooks
Perl-based smart QQ client framework
Free computer programming Chinese books
Cheatsheets for web development
Middleware for distributed applications
All things Vim
A compilation of "The Princely Party Relationship Network"
IT Management Tool for managing IT operational functions
Software Architecture Support System
Free software for generating understandable and accurate fuzzy systems
S-Match is a semantic matching framework.
proof verifier for mathematical proofs and documentation generator
KnowWE has moved, please see http://d3web.sourceforge.net