#

stlcpp

Here are 4 public repositories matching this topic...

aalto-opencs / stlcpp

𝕊𝕋𝕃ℂ++, a small teaching language based on the simply typed lambda calculus: interpreter and browser playground

programming-language rust interpreter lambda-calculus teaching-tool aalto type-systems aalto-university stlcpp

Updated Sep 22, 2026
Rust

aalto-opencs / tree-sitter-stlcpp

Tree-sitter grammar for 𝕊𝕋𝕃ℂ++

programming-language tree-sitter lambda-calculus aalto aalto-university tree-sitter-grammar stlcpp

Updated Sep 22, 2026
C

aalto-opencs / stlcpp-zed

Zed language extension for 𝕊𝕋𝕃ℂ++

syntax-highlighting lambda-calculus zed aalto aalto-university zed-extension stlcpp

Updated Sep 22, 2026
Tree-sitter Query

aalto-opencs / vscode-stlcpp

A VSCode plugin for 𝕊𝕋𝕃ℂ++ syntax highlighting

syntax-highlighting extension lambda-calculus vscode vscode-extension teaching-tool aalto aalto-university stlcpp

Updated Sep 22, 2026
TypeScript

Add this topic to your repo

To associate your repository with the stlcpp topic, visit your repo's landing page and select "manage topics."