Downloads

Kernel Source Downloads

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

Binaries

Shen/tk includes the latest library and Shen release. It is designed to work with TCL/tk under Windows.

Platform	Operating System	Comments
SBCL	Windows	Ported by Mark Tarver, S39.1, 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.
SBCL	Windows	Shen/tk based on the latest kernel. Ported by Mark Tarver. Combines graphics, concurrency and the Shen IDE.
Scheme	Various	Ported by Bruno Deferrari.
Scheme	Windows	Shen/tk based on the latest kernel. Ported by Mark Tarver + Bruno Deferrari. Combines graphics, concurrency and the Shen IDE.

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