Skip to content

@ppenna ppenna Follow

More

@ppenna

ppenna

Follow

View ppenna's full-sized avatar

Pedro Henrique Penna ppenna

Follow

Senior Research Software Engineer @MicrosoftResearch

255 followers · 14 following

Achievements

Achievement: Pair Extraordinairex4 Achievement: Pull Sharkx4 Achievement: Starstruckx2 Achievement: YOLO Achievement: Quickdraw Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex4 Achievement: Pull Sharkx4 Achievement: Starstruckx2 Achievement: YOLO Achievement: Quickdraw Achievement: Arctic Code Vault Contributor

More

ppenna /README.md

Hello, World! 👋

😃 I'm a Research Software Engineer at Microsoft Research
🔨 I’m currently working on Nanvix - A Microkernel Research Operating System
🔭 I have expertise in Distributed Operating Systems
📫 Reach me by sending an e-mail to ppenna@microsoft.com

Pinned Loading

nanvix/nanvix nanvix/nanvix Public

Lightweight Sandbox Powered by a Purpose-Built VM and OS

Rust 254 110
playground playground Public

🎮 Algorithms and data structures made simple

C 27 1
playground-rust playground-rust Public

🦀 Learn Rust by examples.

Rust 12 4
nanvix/nanvix-copilot nanvix/nanvix-copilot Public

Blazingly fast, air-gapped AI code execution powered by Nanvix Micro-VMs and the GitHub Copilot SDK

TypeScript 3