Showing page 1 of 1.
A simulated Artificial Intelligence IRC script for use with Eggdrop with many options and features and high configurability, multi-language support, grammar checker, and now with theme support! Database support is up-coming.5 weekly downloads
Library written in C with Python API for IPv6 networking1 weekly downloads
Analysis of mathematical demonstrations correctness, according to the language and the deductions schemas provided.0 weekly downloads