Search for Portal chat rooms returned a total of 37 matching results. Displaying 1-10...
Chat Room - 49 users -
209 minutes ago -
current 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
category: Agda -
network: Libera.Chat
Chat Room - 8 users -
209 minutes ago -
current topic: CORE WAR "hostile programs engage in a battle of bits" - A.K.Dewdney's articles https://corewar.co.uk/dewdney/ - play online http://koth.org https://sal.discontinuity.info - beginners' guide https://corewar.co.uk/karonen/guide.htm - latest release of pMARS https://corewar.co.uk/pmars.htm - web
portal to rec.games.corewar https://csiph.com/group/rec.games.corewar
network: Libera.Chat
Chat Room - 2 users -
209 minutes ago -
current 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
category: Fish -
network: Libera.Chat