Portal Chaträume

#agda Libera.Chat

Chatraum - 51 Benutzer - vor 56 Minuten - aktuelles Topic: Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://tinyurl.com/sywtltt | https://1lab.dev
Kategorie: Agda - Netz: Libera.Chat

#portal Global-Irc.Eu

Chatraum - 13 Benutzer - vor 50 Minuten - aktuelles Topic: ...::: Discord: https://discord.gg/cHaDKnBQtN ChanStats: http://rotterdam.global-irc.eu:8080/chanstats :::...
Kategorie: Portals - Netz: Global-Irc.Eu

#MineralFish Libera.Chat

Chatraum - 2 Benutzer - vor 56 Minuten - aktuelles Topic: Channel for chatting with the Mineral Fish Fandom members | Portal: https://ultsppi.github.io/mineralfish | Backup channel: #ShellfishMeetings | Rules: No spamming or posting content that exceeds a PG rating/anything related to tickets. And no hating on something/someone just because you don’t like their interests. | Post
Kategorie: Fisch - Netz: Libera.Chat

#Portal OFTC

Chatraum - 1 Benutzer - vor 56 Minuten - aktuelles Topic: ...::: Portal , Homies 4 Life :::... ...::: http://rotterdam.global-irc.eu:8080/website/ :::... Relay to Global-Irc.Eu and IRCnet.com
Kategorie: Portals - Netz: OFTC

#portal Undernet

Chatraum - 22 Benutzer - vor 56 Minuten - aktuelles Topic: https://www.global-irc.eu
Kategorie: Portals - Netz: Undernet

##portal freenode

Chatraum - 3 Benutzer - vor 56 Minuten - Kein Topic
Kategorie: Portals - Netz: freenode

#portal freenode

Chatraum - 3 Benutzer - vor 56 Minuten - Kein Topic
Kategorie: Portals - Netz: freenode

#portal IRCnet

Chatraum - 9 Benutzer - vor 51 Minuten - aktuelles Topic: https://global-irc.eu
Kategorie: Portals - Netz: IRCnet

#portal Libera.Chat

Chatraum - 3 Benutzer - vor 56 Minuten - Kein Topic
Kategorie: Portals - Netz: Libera.Chat