Software

Language

• technique-lang/technique
  The compiler, formatter, renderer, and language server.
• technique-lang/specification
  Formal specification of the 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.

Website

• this site was built using the Zola static site generator with an adaptation of the Goyo theme.