Search Results - RepositoryStats

42

173

mit

11

agda-mode on VS Code

agda vscode reasonml agda-mode vscode-extension

Created 2020-01-25

1,384 commits to master branch, last one 9 days ago

16

107

mit

7

Language Server for Agda

agda agda-mode language-server-protocol

Created 2017-08-18

289 commits to master branch, last one 3 months ago

0

30

other

3

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 3 months ago