MHAlikhani/rahn

Independent host-safety review of the linux-ns execution backend 8 days 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 8 days 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 8 days 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 8 days 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 8 days 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 8 days 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 8 days 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 8 days 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 8 days 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/ 8 days 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 8 days 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

Open Issues Need Help