Downloads


 

 

Kernel Source Downloads

The source code and installation instructions for the kernel v 41.1 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.

Useful Downloads.

The Shen Standard Library

The most important is the Shen Standard Library. This comes with the kernel and is installed by demand. You can find it in Lib in the latess download (directory StLib).

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.

LATEST NEWS

The support page for Shen/tk - a type secure platform portable interface to TCL/tk.

______________________________

The support page for the text Programming the Logic Lab now includes readable online access to the book.

______________________________

The support page for the text Logic, Proof and Computation is established.

______________________________

THORN Theorem prover derived from HORN clause logic is available.

______________________________

Shen Education Channel starts on Youtube.

______________________________

Yggdrasil project launched - the grand unification of programming languages.

______________________________

Want to advertise on this site? Go to the contacts page.

Built by Shen Technology (c) Mark Tarver, September 2021