Downloads

Kernel Source Downloads

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

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

Binaries

Platform	Operating System	Comments
SBCL	Windows	Ported by Mark Tarver, S41, based on standard installation SBCL 2.0.0.
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.

Applications

All appilcations listed here come with the kernel sources in Lib and are installed by demand.

The Shen Library

This includes the Shen Standard Library and facilities for concurrency, the interface to TCL/tk (Shen/tk) and the Shen IDE. Download it as Lib with the kernel source download.

The Logic Lab

This is currently part of Lib.

Logic, Proof and Computation Software

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

THORN

A theorem-prover for first-order logic with equality. The tutorial page is here. THORN is part of Lib.

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.

Shen site to be reconfigured in September 2026