Ecosystem component

RUDRA Language

VERIFIED

A compiled systems language with an easy, readable syntax.

RUDRA is a statically typed, compiled programming language. Programs are written in .rux source files and compiled to native executables.

Details

  • Functions, let bindings and assignment.
  • if / else, while and for control flow.
  • Integers, floats, booleans, strings and lists.
  • Structs and enums with pattern matching.

Note

Language-feature availability depends on the toolchain in use. See the Transparency page for the exact verified surface of the shipped v1.1.0 binary.

Back to all components · Verification evidence