Open Issues Need Help
View All on GitHub documentation help wanted
laithalsaadoon/microvms-agentd laithalsaadoon/microvms-agentd A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Open project →
5
A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Rust
#aws-lambda#formal-verification#microvm#rust#stateright
enhancement good first issue
laithalsaadoon/microvms-agentd laithalsaadoon/microvms-agentd A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Open project →
5
A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Rust
#aws-lambda#formal-verification#microvm#rust#stateright
enhancement good first issue
laithalsaadoon/microvms-agentd laithalsaadoon/microvms-agentd A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Open project →
5
A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Rust
#aws-lambda#formal-verification#microvm#rust#stateright
parity and stale comments: AgentVm.launch options, CLI client token about 1 month ago
enhancement good first issue
laithalsaadoon/microvms-agentd laithalsaadoon/microvms-agentd A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Open project →
5
A verified Rust client stack and in-VM daemon for AWS Lambda MicroVMs: typed trap closures, cost reporting, and a live conformance suite
Rust
#aws-lambda#formal-verification#microvm#rust#stateright