Home

Wiki Goals

The goal of this wiki is to collect information about the Shen programming language.

About Shen

Resources

• Shen GitHub Organization
• Shen Sources
• "The Shen OS Kernel Manual" page on Shen's website
• The Official Shen Standard
• Download page
• Interactive Tutorial of the Sequent Calculus

Topics

• Sequent Calculus
• System Functions
• Native Calls

Libraries/Tools

• Shen experimental libraries
• Shen KLambda to KLVM translator
• Command line REPL for running Shen
• shen-test

Editors

• shen-mode for emacs
• Plugin for Sublime Text 3
• Extension for Visual Studio Code

For Port developers

• Port Developer Notes
• KLambda
• Compiling Shen Code to KLambda

Ports

• C: shen-c
• Common Lisp:
  • shen-cl (CLisp, Clozure, ECL and SBCL)
  • Shen-SBCL
• Clojure: shen.clj
• CLR: ShenSharp
• Emacs Lisp: shen-elisp
• Erlang: shen-erl
• Graal: shen-truffle
• Haskell: shentong
• Java: Shen.java
• Javascript:
  • shen-js
  • ShenScript
• Python:
  • shen-py
  • pyshen
• Ruby: shen-ruby
• Scheme: shen-scheme
• Wasp-Lisp: shen-wasp
• Go: shen-go

Community

• News Group
• Twitter
• Sub-Reddit
• IRC: #shen channel @ freenode (irc.freenode.net)

Blogs with Shen articles

• imagine27
• klltkr
• Some Qi articles on the old lambdassociates website

Blogs with Type Theory articles

• Understanding Typing Judgements

Book

The official guide to Shen, The Book of Shen, can be bought here.