| Computing_at_Columbia_Timeline Summary of Columbia University's dense, more than 50-year-long history of academic use of IBM systems. Includes links to descriptions of most of the systems they have used. |
| OCaml OCaml bindings that allow access to Postgres from the OCaml programming language. [Open Source, LGPL] |
| Ovation_Engineering Offer custom logic design for Fanuc CNC controls, as well as the EZ-Comp system for statistically based, automatic tool wear offsets for CNC Machinery. |
| Cayenne A Haskell-like language with a powerful type system based on dependent types. |
| Midnight_in_The_Realm_of_The_Goddess Gods and goddesses, druids, mermaids and others. |
| Hypercerulean_Inc_ Specializes in applying human factors analysis to usability engineering, testing, and interface design. Located in Washington. |
| Definite_Solutions secure communications software for DOS, Windows, OS/2 |
| ShareWell_Software Company develops easy to use security applications and utility software for Windows. |
| Lette_Performance_Technologies Provides multimedia solutions for training and information delivery, and web design services. Portfolio, industry resources. |
| Quinx_Industrial_Networks Products for connecting DNC equipment through Ethernet or Token Ring networks and NC program database management. |
| USPS_Section_508_Technical_Reference_Guide_in_HTML Technical Reference guide in support of USPS AS-508, detailing techniques and technical approaches to Section 508 and accessibility. |
| Genetic_Daemon An open source genetic engine server, capable to run any kind of genetic algorithm. It has TCP architecture, working with software clients and human interaction. |
| NewsPlex Personal server utility which allows any news-reader to access several news-servers simultaneously, by merging their content into one single news-server. Freeware for GNU/Linux, Solaris and Windows. |
| Microsoft_Windows_XP_Service_Pack_2_Privacy_Statement Explains many of the data collection and use practices of the Microsoft Windows operating system "Windows XP Service Pack 2". |
| Web_Services_Summit Portal site containing information about XML, the Semantic Web, service-oriented architectures, web services and security. Includes articles, papers, audio and video programs, and lists of resources s |
| Ray_Kurzweil__Life_in_the_Future Will new technologies fundamentally change what it means to be human? Inventor and author discusses technology change and effects on everything from health to artificial intelligence. Audio file. [NPR |
| ORBit-C++ C++ bindings for ORBit. |
| ICOBOL_and_VXCOBOL Egan Systems, Inc. develops the ICOBOL and VXCOBOL programming environments |
| Cau,_Antonio De Montfort University - Formal methods, verification, reactive systems, semantics, compositionality, interval temporal logic, executable specification, re-engineering. |
| RFC_2875 Diffie-Hellman Proof-of-Possession Algorithms. H. Prafullchandra, J. Schaad. July 2000. |
