Online Name-Based Navigation for Software Meta-languages

on YouTube ↗24m

" summary

Generates verbatim-copy websites called hyperlinked twins that add precise hyperlinks between name references and declarations by reusing Spoofax name-binding analysis so online navigation matches local IDE navigation. Implementation is a few hundred lines of Spoofax code that clones a repo, builds the project, emits per-file HTML, and deploys via GitHub Pages; demo shows a real repo where plain GitHub search returns ~35–40 noisy matches but the twin jumps directly to definitions.

AI-written summary · about

" chapters (11)

1. 0:00Introduction
2. 1:46Demo goals
3. 2:51Name navigation in GitHub
4. 6:02GitHub navigation limits
5. 6:25Name navigation locally
6. 10:19Spoofax demo
7. 11:03Hyperlink twins
8. 12:26Generating twins
9. 14:54Demo twin generation
10. 16:59Conclusion
11. 17:44Q&A

" related talks

• 48mInstant Code Navigation for Any Commit ☠️Olga Lukyanova · Golang Conf 2024
• 46mIncremental, zero-config Code Nav using stack graphsDouglas A. Creager · Strange Loop 2021
• 48mInstant code navigation for any commit ☠️Olga Lukyanova · HighLoad++ 2024
• 46mSix steps from zero to IDEOlafur Pall Geirsson · Scala Days Berlin 2018
• 20mPlaying with Interactive DocumentationJason Etcovitch · Next.js Conf 2020
• 27mFusing Industry and Academia at GitHub (Experience Report)Tom Schrijvers, Nicolas Wu, Patrick Thomson, Rob Rix · ICFP 2022
• 04mGet Productive on Unfamiliar Source CodeEberhard Gräther · CppCon 2017
• 40mProgramming Clojure, Smalltalk-StyleRobert Krahn · Clojure/West 2015