OpenCS

Popular repositories Loading

1. stlcpp stlcpp Public

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

   Rust 2

2. stlcpp-zed stlcpp-zed Public

   Zed language extension for 𝕊𝕋𝕃ℂ++

   Tree-sitter Query

3. tree-sitter-stlcpp tree-sitter-stlcpp Public

   Tree-sitter grammar for 𝕊𝕋𝕃ℂ++

   C

4. vscode-stlcpp vscode-stlcpp Public

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

   TypeScript

5. opencs-ide-plugin opencs-ide-plugin Public

   VS Code and VSCodium extension for OpenCS students: download assignments, run them locally, submit and see grading results

   TypeScript