Library Management Software System will be an online and mobile service to help people and public libraries to automate all activities. PhotonSoft Ltd. plan LMSS to be world's largest library network and social space with Internet/WAP communication tools
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.