#raven
GitRaven
mi11er
A git client for VS Code: commit graph, multi-repository support, and interactive rebase. Fetches your history like Odin's ravens.
SCM Providers
#git
5
5.0
Raven Verifier
nyu-acsys
VSCode integration of the Raven language and verifier.
Programming Languages
#keybindings
3
RavenX
raven-lang
Language support for Raven: diagnostics, hover, go to definition, and find references, powered by a language server.
Programming Languages
#snippet
2