Home

Our Mission

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.

You can learn about the Shen project in our 5 minute video. You don't even have to download Shen; practice on our online Javascript version here.

Reviews

Shen 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

Shen 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

Shen ... has a logic-based type system with capabilities beyond even Haskell.
Quora

As I 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

Something 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

News

2019, 2018, 2017, 2016

Learn Shen

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

pattern matching,

lambda calculus consistency,

macros for defining domain specific languages,

optional lazy evaluation,

static type checking based on sequent calculus, one of the most powerful systems for typing in functional programming,

an integrated fully functional Prolog,

an inbuilt compiler-compiler,

has a BSD kernel that runs under a host of different languages (Lisp, Python, Javascript, C ...) and operating systems (Windows, Linux, OS/X),

is extensively documented in a book