» IRC search  details

Agda Chat Rooms

Search chat rooms within the Internet Relay Chat and get informed about their users and topics! – Chat rooms on IRC are usually called channels. Use this IRC search engine to search in channel names and topics of around 500 IRC networks! Find interesting chat rooms and chat with people that share your interests!

 Related queries: programmers (19)   code (489)   maemo (13)   ascii (32)   forth (10)  

Searched for Agda chat rooms. 1 matching entries found.  Displaying 1-1...

#agda freenode

134 users – 103 minutes ago – Questions? Share your work as a self-contained gist and wait for an answer. | http://gist.github.com | http://agda.readthedocs.io | http://agda.github.io/agda-stdlib | http://wiki.portal.chalmers.se/agda | http://lists.chalmers.se/mailman/listinfo/agda | http://github.com/pigworker/CS410-18 | https://plfa.github.io | http://github.com/agda/agda/issues?q=is%3Aopen+is%3Aissue+label%3Afalse
chat category: Agdanetwork: freenode  –  irc2go: #agda


 Top IRC networks 
  out of competition
  Ø 24431
  Ø 15736
  Ø 14932
  Ø 14337
  Ø 11927
  Ø 11817
  Ø 9699
  Ø 7850
  Ø 6628
  Ø 5189

Chat Directory Chat Directory
Asia Chat
Australia Chat
Europe Chat
India Chat
USA Chat
. . .

+ 0.0723 seconds
© 1998-2020 netsplit.de  de    IRC Online Chat
SimosNap   ChatBrasil   BOLChat   Chatzona   IRC-Hispano   DesireNet   IRCGate.it   ChatLounge   mIRC Chat
This website is being developed in Heusenstamm, Germany.