A large collection of symbolic processing projects designed and implemented in Pascal, with heavy emphasis on backtracking. Topics include parsers, translators, compilers, interpreters, and theorem provers.
A stand-alone tool that simplifies usual duty of DBA's and database developers who uses MS SQL Server (7.0 or 2000) or MSDE. It includes most functionality of Query Analyzer and Enterprise Manager plus a lot of other helpful features.