GitHub topics: agda-mode
banacorn/agda-mode-vscode
agda-mode on VS Code
Language: ReScript - Size: 4.9 MB - Last synced at: 13 days ago - Pushed at: 22 days ago - Stars: 176 - Forks: 45
agda/agda-language-server
Language Server for Agda
Language: Haskell - Size: 390 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 109 - Forks: 15
nathancartlidge/powertoys-run-unicode
PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!
Language: C# - Size: 558 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 31 - Forks: 0
juniors90/CALP-beamer
Notes about "An introduction to Finite Group Representation Theory using Agda"
Language: TeX - Size: 2.33 MB - Last synced at: about 20 hours ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
banacorn/agda-mode 📦
agda-mode on Atom
Language: Reason - Size: 32.8 MB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 59 - Forks: 14