Shen language kernel sources for porters
-
Updated
May 30, 2026 - Shen
#
shen
Here are 31 public repositories matching this topic...
A Haskell implementation of the Shen programming language.
-
Updated
Apr 5, 2018 - Haskell
A hastily written KLambda->Haskell compiler.
-
Updated
Apr 28, 2017 - Haskell
Shen language support for Sublime Text 3
-
Updated
Sep 13, 2018 - Python
Shen language port in Rust — 134/134 kernel conformance; tree-walker + AOT-compiled kernel + bytecode VM + opt-in GC; first-class AWS Cedar authorization integration.
programming-language rust interpreter compiler functional-programming shen authorization garbage-collector cedar theorem-prover bytecode-vm klambda
-
Updated
Jun 14, 2026 - Rust
⌨️ The Shen programming language IDE submodule for SNU Programming Tools (2D Mode)
web-development programming web-ide gplv3 ide shen snu gpl3 shen-language snu2d-programmingtools snu-2d snu-programming-tools snu-2d-programmingtools snu-development snu-2d-programming-tools snuprogrammingtools snuprogramming-tools snu2dprogrammingtools snu2dprogramming-tools shen-lang
-
Updated
Jan 18, 2025 - Shen
📚️ A repository for showcasing my knowledge of the Shen programming language, and continuing to learn the language.
-
Updated
Jan 18, 2025 - Shen
Improve this page
Add a description, image, and links to the shen topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the shen topic, visit your repo's landing page and select "manage topics."