rahn good first issues (Rust)

Independent host-safety review of the linux-ns execution backend about 1 month ago

help wanted security

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

RQ4 study: constitution expressiveness against real-world network invariants about 1 month ago

help wanted research

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Create a repository of RAHN example scenarios about 1 month ago

documentation good first issue dx

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Create an interactive RAHN architecture walkthrough about 1 month ago

documentation good first issue dx

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Run E3: semantic merge conflict-detection study on injected conflict scenarios about 1 month ago

help wanted research

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Run E2: verification-latency measurement across 10²–10⁵ objects about 1 month ago

help wanted engineering performance

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Improve error messages with actionable failure explanations about 1 month ago

good first issue engineering dx

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Add macOS to the CI determinism matrix about 1 month ago

good first issue engineering dx

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Document rahn-sdk public API examples about 1 month ago

documentation good first issue dx

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Write an ADR index and reading guide for docs/adr/ about 1 month ago

documentation good first issue

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

Deepen the prior-art survey with a systems/formal-methods literature pass about 1 month ago

documentation good first issue research

MHAlikhani/rahn

1

A stateful network architecture for representing, verifying, evolving, and executing network state.

Rust

#infrastructure-as-code#network-automation#network-state#research#rust

MHAlikhani/rahn

Open Issues Need Help