Skip to content
@vedlanghq

Ved

Ved is a deterministic, declarative systems programming language for building reliable, long-lived distributed systems.

Ved Language

Ved is a deterministic control-plane programming language for building reliable, long-running orchestration systems.

It focuses on describing how complex distributed software environments should evolve and stabilize over time rather than implementing application business logic.


Motivation

Modern systems consist of many interacting services, workflows, and autonomous components. The logic that governs their deployment, coordination, scaling, and recovery is often implemented through ad-hoc scripts or controller frameworks.

Ved explores a programming model where:

  • desired system behaviour is expressed as stable goals
  • execution is deterministic and replayable
  • persistent state evolution is a first-class concern
  • authority and isolation boundaries are enforced statically
  • orchestration logic becomes analyzable and reproducible

Core Repositories

  • ved-runtime
    Deterministic execution engine responsible for scheduling, persistence, and effect orchestration.

  • ved-compiler
    Language frontend that transforms Ved source programs into executable bundles.

  • ved-cli
    Command-line tooling for compiling, running, and inspecting Ved systems.


Project Status

Ved is in early design and prototyping stages.

Current focus areas include:

  • deterministic scheduling model
  • persistent state journal and replay
  • goal-driven convergence semantics
  • authority-aware orchestration structure

Distributed runtime capabilities and advanced tooling are planned for later phases after core execution behaviour is validated.


Contributing

Design discussions are ongoing.
Contributors interested in distributed systems, orchestration reliability, and deterministic execution models are encouraged to participate.

Please open issues to discuss ideas before submitting large changes.


License

Core repositories are released under the Apache License 2.0.

Pinned Loading

  1. ved-runtime ved-runtime Public

    Deterministic execution engine and persistent state runtime for Ved control plane programs.

    Rust

  2. ved-compiler ved-compiler Public

    Compiler frontend and semantic validation pipeline for the Ved deterministic orchestration language.

    Rust

  3. ved-spec ved-spec Public

    Formal language and runtime architecture specifications for the Ved deterministic control-plane system.

  4. ved-cli ved-cli Public

    Command-line tooling for building, running, and inspecting Ved programs and runtime environments.

    Rust

  5. ved-landing ved-landing Public

    Public website and introductory portal for the Ved programming language.

    TypeScript

  6. .github .github Public

    Organization-wide community standards, contribution templates, and governance guidelines for Ved.

Repositories

Showing 7 of 7 repositories

Top languages

Loading…

Most used topics

Loading…