Downloads

Kernel Source Downloads

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

This release comes with complete instructions on how to install Shen/tk (the graphical interface from Shen to TCL/tk) on your computer.

Binaries

Platform	Operating System	Comments
SBCL	Windows	Ported by Mark Tarver, S40, based on standard installation SBCL 2.0.0. The Standard Library is included.
CLisp	Windows	Ported by Mark Tarver, S39.1, based on standard installation CLisp (2010) The Standard Library is included.
Scheme	Various	Ported by Bruno Deferrari.

Useful Downloads.

The Shen Standard Library

The most important is the Shen Standard Library. This comes with the kernel and is installed by default. You can find it in the extended library download below.

The Shen Extended Library

This includes the Shen Standard Library and facilities for concurrency, the interface to TCL/tk (Shen/tk) and the Shen IDE. Download here.

The Logic Lab

This is detailed in the Shen education channel and is available here.

Logic, Proof and Computation Software

This is detailed in the LPC support page and is available here.

THORN

A theorem-prover for first-order logic with equality. The tutorial page is here. THORN can be downloaded here.

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.

Legacy Work

A lot of links to legacy work on Shen, including older kernels and ports to other languages, can be found here.

LATEST NEWS

The open Shen initiative. Hundreds of free online pages on Shen technology to appear in 2025.

Built by Shen Technology (c) Mark Tarver, June 2025