GitHub topics: agda-mode
banacorn/agda-mode-vscode
agda-mode on VS Code
Language: ReScript - Size: 6.33 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 178 - Forks: 45
agda/agda-language-server
Language Server for Agda
Language: Haskell - Size: 458 KB - Last synced at: 3 days ago - Pushed at: 15 days ago - Stars: 113 - Forks: 19
nathancartlidge/powertoys-run-unicode
PowerToys Run module to permit HTML and Agda symbolic input (via Run) anywhere!
Language: C# - Size: 619 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 34 - Forks: 1
juniors90/CALP-beamer
Notes about "An introduction to Finite Group Representation Theory using Agda"
Language: TeX - Size: 2.33 MB - Last synced at: 22 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
banacorn/agda-mode 📦
agda-mode on Atom
Language: Reason - Size: 32.8 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 59 - Forks: 14