Home | Learn Shen | OS Kernel Download

OS Kernel Download

write once, run anywhere

Home
Learn Shen
Videos
Community
Wiki
Community
OS Kernel
OS Library
Shen Professional
 


News

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.

 


 

 
The last OS implementation is Shen 19.1. We recommend unless you want to avoid compiling Shen that you use one of the Common Lisp platforms which provide executables for Windows 7, Linux and OS/X. If you want to experiment with Shen under Clojure etc. then download one of the other installations and follow the instructions.

Shen Sources has a github mirror and contains the sources for the latest Shen and is used by platform developers with the Shen group. All names are maintainers unless specified. All questions regarding general usage to the Shen news group.

The Shen certificate placed against the port indicates that it derives from the latest sources and has been tested as conformant to the standard test suite distributed with Shen Sources

  Download Certified License Support
Common Lisp
Shen/CL Contains source and Windows 7 executables for the CLisp and SBCL versions of Shen
Shen-SBCL-Linux.zip Contains an Arch Linux executable for the SBCL version of Shen
Shen/SBCL/OS/X Contains an OS/X executable for the SBCL version of Shen


This work is certified by
www.shenlanguage.org as derived from Shen 19 and conformant to the Shen standard test suite 1.0 

BSD Mark Tarver
Shen news group
Emacs Lisp Shen/ECL

This work is certified by www.shenlanguage.org as derived from Shen 19 and conformant to the Shen standard test suite 1.0 

BSD Aditya Siram
aditya.siram@gmail.com
Ruby Shen/Ruby


This work is certified by
www.shenlanguage.org as derived from Shen 19 and conformant to the Shen standard test suite 1.0 

BSD/MIT Greg Spurrier
greg@sourcematters.org
Scheme Shen/Scheme


This work is certified by
www.shenlanguage.org as derived from Shen 19 and conformant to the Shen standard test suite 1.0 

BSD Bruno Deferrari
utizoc@gmail.com
Clojure Shen/Clojure awaiting certification   developed by Hakan Raberg
hraberg@yahoo.se
currently unmaintained and in need of updating
Javascript Shen/Javascript awaiting certification   Ramil Farkhshatov
ramil@gmx.co.uk
JVM Shen/JVM awaiting certification   developed by Hakan Raberg
hraberg@yahoo.se
maintained by Artella Coding
artella.coding@googlemail.com

Python

Shen/Python awaiting certification   Ramil Farkhshatov
ramil@gmx.co.uk

Python

Shen/Python awaiting certification   Matthieu Lagacherie
matthieu.lagacherie@gmail.com
Haskell Shen/Haskell


This work is certified by
www.shenlanguage.org as derived from Shen 19 and conformant to the Shen standard test suite 1.0 

BSD

Mark Thom
markjordanthom@gmail.com