Esc
Start typing to search...

Tooling

Keel provides a comprehensive set of development tools.

Core Tools

ToolDescription
CLIUnified command-line interface (keel run, keel repl, keel fmt, keel lsp)
REPLInteractive environment
Language ServerIDE features and editor setup
Jupyter KernelInteractive notebooks

Editor Support

EditorSyntax HighlightingLSP FeaturesPlugin/Extension
VS CodeTextMate + tree-sitterFull LSPkeel-vscode
PositronTextMate + tree-sitterFull LSP + data explorer, variable panekeel-vscode
Helixtree-sitterFull LSPBuilt-in config
Zedtree-sitterFormat on save, auto-indent, symbol navkeel-zed-extension
Neovimtree-sitterFull LSPManual config
JupyterOptional extensionCompletion, hoverkeel-jupyter-kernel
EmacsPlannedPlannedComing soon

See the Language Server & Editor Setup guide for configuration instructions.

Language Server

The Keel Language Server (keel-lsp) provides IDE features:

  • Diagnostics — Real-time lex and parse error reporting
  • Completion — Variables, functions, enums, modules, keywords, with dot-completion for module members
  • Advanced completions — File paths, pattern matching, imports, record fields, type annotations, dict keys
  • Go-to-definition — Jump to symbol declarations
  • Find references — Locate all occurrences of a symbol
  • Rename — Rename a symbol and all its references
  • Hover — Type signatures, documentation with examples, doc comments
  • Signature help — Parameter information when calling functions
  • Semantic tokens — Parser-driven syntax highlighting
  • Code lens — Reference counts above declarations
  • Document symbols — Outline of functions, enums, modules
  • Workspace symbols — Search across all files
  • Folding ranges — Collapsible code regions

Tree-Sitter Grammar

The keel-tree-sitter grammar provides syntax highlighting for:

  • Keywords, functions, types, constructors
  • Operators including pipes (|>) and composition (>>)
  • Pattern matching syntax
  • Comments (line -- and block {- -})

Quality Tools

ToolDescription
FormatterCode formatting
TestingTest framework (planned)
IO SecurityFile system and network access control
Package ManagerDependency management (planned)