Downloads

Kernel Source Downloads

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.
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.

The most important is the Shen Standard Library. This comes with the kernel and is installed by default.

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

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

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

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

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

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