Home | Learn Shen | OS Kernel Download

OS Library

write once, run anywhere

Learn Shen
OS Kernel
OS Library
Shen Professional


August 2016

Shen Professional 10 moves into the cloud and acquires graphics.

June 2016

Shen Professional includes provision for large scale file handling.

May 2016

Shen Professional includes a computably effective axiomatic semantics P for generating formal descriptions of Shen programs in second-order logic.

April 2016

Shen Professional supports SML 1.0.  Shen Markup Language generates HTML from type secure Shen.

March 2016

Shen Professional supports full concurrency - communicating parallel processes with local state.

February 2016

Shen Professional supports non-communicating parallel processes.

September 2015

Shen Professional is launched - the project to build a commercial closed-source version of Shen.

February 2015

The Shen kernel goes BSD.



Area Documentation Description Download
strings Word | Pdf standard string library strings.zip
vectors Word | Pdf standard vector library vectors.zip
maths Word | Pdf | HTML standard maths library (an index of functions can be found here or (in HTML) here) maths.zip
ffi Word | Pdf foreign function interface ffi.zip
calendar Word | Pdf basic calendar program date.zip

All code is under BSD.  OS contributions accepted; please mail your .pdf documentation to wriha AT ntlworld.com together with a link to the code.