Please submit your ideas! Anything from a picture of a napkin sketch to a fully vectorized logo is welcome.
Suggestions
Víctor López Juan's designs
Plain, AGD∀, full symmetry
Square, AGD∀
Square, AGD∀, Inverse
Rectangle, ∀GDA
Rectangle, AGDA
Rectangle, AGD∀
Plain, AGDA
Aive Kalmus' designs
Hexagonal design
![](https://raw.githubusercontent.com/jmchapman/agda-logos/master/logo2.png)
Rounded coloured text
Diagonal text
Text made of circles
G/D text * 2
All Gs
Wen's designs
"4G"
![](https://gist.githubusercontent.com/wenkokke/23c4cb309ab399ac18f58a690c38921f/raw/2f32248c95651f5a79a1ca8f845be7f4a1fc6c57/agda-logo.png)
Design based on "All Gs" by Aive Kalmus (see above). The SVG is available here
"Super Agda"
![](https://gist.githubusercontent.com/wenkokke/23c4cb309ab399ac18f58a690c38921f/raw/2f32248c95651f5a79a1ca8f845be7f4a1fc6c57/super-agda-logo-circle.png)
Design based on "Hexagonal design" by Aive Kalmus (see above).
"Trans Rights"
![](https://gist.githubusercontent.com/wenkokke/23c4cb309ab399ac18f58a690c38921f/raw/2f32248c95651f5a79a1ca8f845be7f4a1fc6c57/agda-logo-circle.png)
Design based on "Ulf's design" by Ulf Norell (see below).
Ulf's design
![Agda Logo Agda Logo](https://raw.githubusercontent.com/UlfNorell/agda-logo/master/agda-logo.png)
Gallais' design
"Agda goal"
![Agda2 logo Agda2 logo](https://i.imgur.com/fd4NtQO.png)
Zambonifofex’s designs
"The four 'a's"
"Wrapped lowercase"
"Symmetric〜"
More designs
"7-Segment"
Adga in the standard font, in color since it typechecks
![](http://halfaya.org/images/AgdaLogo.png)
Scratchpad sketches
"Napkin sketch": Rectangular letters
![](https://i.imgur.com/UyJd65v.png)
"Propositional equality"
![](https://i.imgur.com/fi0FvBF.png)
"Egg"
![](https://i.imgur.com/wF4kj4D.png)
"Colon"
![](https://i.imgur.com/zZdBb5F.png)
"Beacon of light"
![](https://i.imgur.com/OpHsbjS.png)
Mietek’s design
Agda the Hen (Hönan Agda)
jonaprieto's designs
Sketches based on some elements of the Agda syntax and some cats found on google images.
![](https://imgur.com/6D6L76E.png)
![](https://imgur.com/aL1F0tE.png)
![](https://imgur.com/EYlvUig.png)
Some more napkin suggestions:
large letters:
![](https://raw.githubusercontent.com/maltenmuller/agda-logos/master/20190914_145501.jpg)
hedgehog:
![](https://raw.githubusercontent.com/maltenmuller/agda-logos/master/20190914_145525.jpg)
small letters:
![](https://raw.githubusercontent.com/maltenmuller/agda-logos/master/20190914_145552.jpg)
Submission by Toby Thain
SVG on request.
![](https://i.imgur.com/QMJreRJ.png)
Submission by Péter Diviánszky
![](https://i.imgur.com/fZ4YoE1.jpg)
![](https://imgur.com/xDLZnJv.jpg)