Ecosystem component

Developer Toolchain

PARTIALLY VERIFIED

Compiler, wrapper, and source-repository tooling.

The released 1.1.0 toolchain contains two commands: ruxc (the self-hosted compiler) and rudra (a small POSIX shell wrapper that adds the standard library to the build). More tools exist in the source repository and are not yet released.

Details

  • Released: ruxc <file.rux> <output> and rudra <file.rux> <output>, plus install.sh and uninstall.sh.
  • In the source repository, not yet released: a new driver written in RUDRA (rudra build / run / check / vscode-init / toolchain / version).
  • In the source repository, not yet released: a language server (lsp/serve.rux) for editors with a built-in LSP client, and a formatter (fmt/fmt.rux) that re-indents code.
  • In the source repository, not yet released: a package-manager tool (package-manager/ruxpkg.rux) that verifies a package manifest's module SHA-256, and a VS Code extension with grammar, snippets and a problem matcher (no JavaScript).
  • The released archive has no separate language-server or package-manager binary.

Back to all components · Verification evidence