OS/360 and successors
OS/360, officially known as IBM System/360 Operating System, is a discontinued batch processing operating system developed by IBM for their then-new System/360 mainframe computer, announced in 1964; i...
OS/360 and successors - Wikipedia
Coq
In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extract...
Coq - Wikipedia
Windows Me
Windows Millennium Edition, or Windows ME (marketed as being pronounced as the pronoun "Me", but commonly pronounced as an initialism, "M-E"), is a graphical operating system from Microsoft released t...
Windows Me - Wikipedia
PLANC
PLANC (pronounced as "plank") is a high level computer programming language. The acronym stands for Programming LAnguage for Nd Computers.Compilers were developed by Norsk Data for several architectur...
TSS/360
The IBM Time Sharing System TSS/360 was an early time-sharing operating system designed exclusively for a special model of the System/360 line of mainframes, the Model 67. Made available on a trial ba...
University of Michigan Executive System
The University of Michigan Executive System, or UMES, a batch operating system developed at the University of Michigan in 1958, was widely used at many universities. Based on the General Motors Execut...
TOPS-10
The TOPS-10 System (Timesharing / Total OPerating System) was a computer operating system from Digital Equipment Corporation (DEC) for the PDP-10 (or DECsystem-10) mainframe computer launched in 1967....