Add link to github repo

MIT-REALM · Feb 5, 2024 · 11c94d9 · 11c94d9
1 parent bedfeee
commit 11c94d9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/pages/index.astro b/src/pages/index.astro
@@ -20,6 +20,7 @@ const links: Link[] = [
     // {"name": "arXiv", "url": "b", "icon_class": "ial icon-arxiv-logo-small"},
     {"name": "Paper", "url": "https://arxiv.org/pdf/2305.14154.pdf", "icon_class": "fas fa-file-pdf"},
     {"name": "arXiv", "url": "https://arxiv.org/abs/2305.14154", "icon_class": "ial icon-arxiv-logo-small"},
+    {"name": "Github", "url": "https://github.com/mit-realm/efppo", "icon_class": "fab fa-github"},
     {"name": "Jax F16", "url": "https://github.com/mit-realm/jax-f16", "icon_class": "fab fa-github"},
     {"name": "MIT News", "url": "https://news.mit.edu/2023/safe-and-reliable-autopilots-flying-0612", "icon_class": "fas fa-newspaper"}
     // {"name": "Presentation Video", "url": "b", "icon_class": "fab fa-youtube"},