banacorn/agda-mode-vscode

agda-mode on VS Code

ReScript185 stars46 forksMIT

agdaagda-modereasonmlvscodevscode-extension

Rankings

Daily

#6194

Weekly

#10559

Monthly

—

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/banacorn/agda-mode-vscode.svg)

HTML

<img src="https://trending-repos.com/badge/banacorn/agda-mode-vscode.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/banacorn/agda-mode-vscode.svg