Downloads


 

 

The latest kernel is S32.03. The S prefix indicates that the kernel is conformant to the standards laid down in The Book of Shen, 4th edition .

The downloads include versions built with extensions which are documented by the developer. Unless stated, all versions should support the features documented in The Book of Shen . We are happy to point to new downloads posted in the newsgroup but we do insist on standards of reliability in these ports. There is a folder of test programs in the sources for people to test their ports. Any Shen implementation should pass these tests modulo any memory limitations of the platform.

Kernel Downloads

The source code and installation instructions for the kernel can be downloaded from here.

S32.03 Released 30/07/2022. backend corrected so integer? test works; sequent compiler debugged for false mode declarations.
S32.03 32.03 for BSD.
S32.02 Released 20/07/2022. Bug in lambda expressions in Horn clauses fixed.
S32.01 Released 15/05/2022. Bug in overapplications fixed.
S32 Released 11/02/2022. Bug in 'synonyms' fixed. Left linear issue in types resolved.
S31.03 Released 13/12/2021. Attempting to redefine system functions cannot screw up types and arity.
S31.02 Released 15/11/2021. Backend functions for Common Lisp placed in package .cl rather than .shen.
S31.01 Released 1/11/2021. This is the vanilla version from Mark Tarver documented in The Book of Shen.

Binaries

These are various ports which are based on the S series kernels. The 'Shen with batteries included' ports have the Standard Library built in.

Platform Operating System Comments
SBCL Windows Ported by Mark Tarver, S32.03, based on standard installation SBCL 2.0.0. Includes Standard Library.
CLisp Windows Ported by Mark Tarver, S32.03, based on standard installation CLisp, 2.49. Includes Standard Library.
Scheme Various Ported by Bruno Deferrari.

There are a large number of pre-S series ports which can be found here.

Useful Downloads.

The Standard Library

The most important is the standard library written by Mark Tarver, developed from the closed source Shen Professional. This is documented in the 'Learn' section of this site.

StLib 1.0 Released 14/12/2021.

Editors

There have been several editors developed for Shen. Downloads exist for Emacs and Robert Koeniger developed a version for Sublime.

Regex Parsing

Eric Schulte developed a regex parser in the manner of Perl for parsing large files.

Foreign Function Interface

Mark Tarver developed a file-based FFI designed to work with the Shen instruction set

Miscellaneous

A compendium of other work, some historically early, is held here..

LATEST NEWS

Shen Education Channel starts on Youtube.

______________________________

Faster, smaller S31 Shen kernel released; read about the S series of kernels here.

______________________________

Fourth edition of 'The Book of Shen' released; read about it here.

______________________________

Bruno Deferrari wins the first Shen Open Science prize.

______________________________

Yggdrasil project launched - the grand unification of programming languages.

______________________________

Want to advertise on this site? Go to the contacts page.

Built by Shen Technology (c) Mark Tarver, September 2021