Draven's Blog
Repository for all ArangoDB interactive tutorial notebooks
Makes it easier to resolve TCP/IP connection errors.
Resources about activity recognition
Perl-based smart QQ client framework
Basic, concurrent algorithm
Middleware for distributed applications
All things Vim
Belief Revision via PS-Merge under constraints belief merging operator
Free software for generating understandable and accurate fuzzy systems
An open source, web based, platform independent knowledge base system.
S-Match is a semantic matching framework.
proof verifier for mathematical proofs and documentation generator
Pandora is an artificial intelligent web based bot