Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

r1ru

riru
1 Stars

Decks

Formal Development of Operating Systems in Rust
riru
1
400
プログラム検証入門
riru
6
1.9k
Symbolic model checker from scratch in Rust
riru
1
560
モデル検査入門
riru
2
100
WasmOS: Wasmを実行する自作Microkernel
riru
0
650

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade