Software
Source code, editor extensions, and downloads
Compiler and Specification
- technique-lang/technique
The compiler, code formatter, renderer, and language server. Also includes an
evaluator capable of running procedures in your terminal. - technique-lang/specification
Formal specification of the Technique language.
Editor Support
- technique-lang/extension.zed
Zed Editor extension. - technique-lang/extension.vscode
VS Code extension. - technique-lang/highlighting
Vim and Typst support. - technique-lang/tree-sitter-technique
Tree Sitter grammar used by extensions for syntax highlighting.
Development and Testing
- technique-lang/setup-action
Install the binary onto a GitHub Actions runner for use in CI.