Search Results - RepositoryStats

40

171

mit

10

agda-mode on VS Code

agda vscode reasonml agda-mode vscode-extension

Created 2020-01-25

1,245 commits to master branch, last one 22 days ago

17

105

mit

8

Language Server for Agda

agda agda-mode language-server-protocol

Created 2017-08-18

289 commits to master branch, last one 15 days ago

1

25

other

2

PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!

latex agda-mode powertoys powertoys-run powertoys-run-plugin

Created 2024-03-16

64 commits to main branch, last one 23 days ago