Our mission is to bring the
power of Shen technology to every major programming platform
used by industry and deliver to programmers the great power
of Shen. The word 'Shen' means 'spirit' in Chinese and
indicates our goal is to transcend the divisions between
computer languages and operating systems. The meditating
Taoist is our logo.
To begin to learn Shen,
browse the Learn Shen section. Download BSD
versions of Shen from our open source download page.Shen Professional is a cloud-based high
performance development of the open source Shen kernel
incorporating graphics and concurrency for Shen enthusiasts.
Open Source Features
for defining domain specific languages,
type checking based on sequent calculus, one of the
most powerful systems for typing in functional
integrated fully functional Prolog,
BSD kernel that runs under a host of different
operating systems (Windows, Linux, OS/X),
is a cool language in the spirit of Lisp that
modernizes it and is backed by cutting-edge research
on programming languages. It gives very thoughtful
answers to problems we, the programmers global
tribe, are collectively facing. Danial Luna
is a natural evolutionary step along the long,
winding path that is Lisp history. Many modern
programming languages are absorbing features that
Lisp innovated long ago, but still the most exciting
languages are Lisps. Fogus
... has a logic-based type system with
capabilities beyond even Haskell. Quora
read more about [Shen], I was smitten. A modern,
functional Lisp with pattern matching, currying, and
an optional, very powerful static type system? Sign
me up! SourceMatters
I found intriguing about Shen was that it was
specifically designed for portability. It is
implemented in a language called K Lambda, which is a
tiny Lisp consisting of only 46 functions. Port K
Lambda and you have ported Shen. SourceMatters
Professional 10 moves into the cloud and
The SP Handbook
2018 is published.
Shen ported to Erlang.
JVM is ported to Android
Professional includes provision for large
scale file handling.
in SP now generates type secure code.
is ported to Truffle
is ported to CLR.
website is refurbished. All new look.
specific CL installation developed for CLisp
Professional includes a computably effective
axiomatic semantics P
for generating formal descriptions of Shen
programs in second-order logic.
under Clojure is reimplemented to bring it up
to open source Shen 21.
is ported to Wasp Lisp.
Professional supports SML 1.0. Shen
Markup Language generates
HTML from type secure Shen.
Pygmalion - a Shen
project to read pages off the web into logic
reads at 25,000 words per second.
is ported to Go.
Professional supports full concurrency -
processes with local state.
Shen is ported to Chez
Scheme and becomes the fastest Shen yet!
Professional supports non-communicating