keyvalue
id773125328
namepowertoys-run-unicode
full_namenathancartlidge/powertoys-run-unicode
html_urlhttps://github.com/nathancartlidge/powertoys-run-unicode
descriptionPowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!
created_atMarch 16, 2024, 8:20 p.m.
updated_atNov. 12, 2024, 4:50 p.m.
pushed_atNov. 14, 2024, 10:41 p.m.
size515
stargazers_count21
watchers_count2
forks_count1
open_issues0
languageC#
awesome_list

https://github.com/hlaueriksson/awesome-powertoys-run-plugins