Downloads


 

 

Source

The source code and installation instructions for the kernel 39.1 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.
SBCL Windows Shen/tk based on the latest kernel. Ported by Mark Tarver. Combines graphics, concurrency and the Shen IDE.
Scheme Windows Shen/tk based on the latest kernel. Ported by Mark Tarver onto Bruno's port of Shen to Scheme. Combines graphics, concurrency and the Shen IDE.
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.

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.

The Logic Lab

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

Programs for Logic, Proof and Computation

This is detailed in the Shen education channel and is available 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 science initiative. Hundreds of free online pages on Shen technology to appear in 2025.

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