OpenPlay is a cross-platform network abstraction layer designed to simplify the task of creating programs which communicate across multiple computers and has been used in dozens of commercial products. Includes NetSprocket API compatability.
When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement.
Tumaz could just be the best RPG ever. Written in C, built on Mac, Win32 and Linux. If only I could finish the damn thing ;)