Chat Search    Chat Directory    About irc2go

  irc2go    
Online Chat    

Search free chat rooms on the Internet Relay Chat and enter the chats online with your browser!

 
Chat Search :  agda
Results 1 - 1 of 1  (0.122 seconds)

Agda Chat Rooms

Category:  Computers  >  Programming  >  Agda
 

agda freenode

Chat Room - 133 users - 108 minutes ago - current topic:  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
Category: Agda Chat Rooms

twisted (22)   scala (12)   perl (62)   scripting (65)   code (474)   django (26)  



Programming Chat Rooms

#programming freenode

Chat Room - 700 users - 108 minutes ago - current topic:  Community Chat & Programming/Computer Science Discussion | If you have a question, don't ask to ask, just ask! | Paste > 3 lines to a pastebin such as https://ideone.com | Channel rules: https://tinyurl.com/2lb-programming | Colour codes filtered again because idiets.
Category: Programming Chat Rooms

programming SwiftIRC

Chat Room - 15 users - 86 minutes ago - current topic:  General programming assistance, beardy discussion and egotistical chit chat. | Discussion of many languages, platforms, and frameworks. | Don't ask to ask; just ask! | #programming supports free speech and decries censorship on SwiftIRC. | Celebrating 9 years of #programming!
Category: Programming Chat Rooms

programming Rizon

Chat Room - 5 users - 108 minutes ago - current topic:  Programming questions/chat. Language independent. | Paste stuff here: http://hastebin.com | We speak all languages, except brainfuck! ArnoldC preferable | If nobody answers your question, be patient
Category: Programming Chat Rooms

programming Snoonet

Chat Room - 109 users - 88 minutes ago - current topic:  Welcome to #programming! | Check out #python for snakes, #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Category: Programming Chat Rooms

#C freenode

Chat Room - 1021 users - 108 minutes ago - current topic:  C Programming | PASTE (>3 lines): http://codepad.org/ | WIKI: http://www.iso-9899.info/ | BOOKS: http://www.iso-9899.info/wiki/Books | C2X Charter: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2086.htm | the current standard: http://iso-9899.info/wiki/The_Standard | Off-topic: ##c-offtopic
Category: C Chat Rooms

#programming-ops freenode

Chat Room - 3 users - 108 minutes ago - current topic:  Discussion of moderation/channel issues for ##programming are done here as requested. ##programming policies: http://tinyurl.com/2lb-programming
Category: Programming Chat Rooms

programming WorldGenesisIRC

Chat Room - 6 users - 83 minutes ago - current topic:  Welcome to #programming!
Category: Programming Chat Rooms

programming WeNet

Chat Room - 5 users - current topic:  ...classbegWienlsctodmcea,llceoxdceerptionend... | faqs.org.ru | www.opennet.ru | www.rfc-editor.org | www.koders.com | www.sysinternals.com | algolist.manual.ru | www.codenet.ru
Category: Programming Chat Rooms

scala freenode

Chat Room - 114 users - 108 minutes ago - current topic:  The Scala programming language http://www.scala-lang.org/download/ | Please follow the Scala Code of Conduct: http://www.scala-lang.org/conduct/ | Resources: http://www.scala-lang.org/community | See also our chat on gitter https://gitter.im/scala/scala | paste code snippets to http://scastie.org or https://gist.github.com | Issues with the channel? Discuss on #scala-ops
Category: Scala Chat Rooms

python Rizon

Chat Room - 34 users - 108 minutes ago - current topic:  Python Programming | Don't ask to ask, ask | Paste broken code on http://dpaste.com/ | DON'T PASTE YOUR CODE DIRECTLY IN THE CHANNEL | Hssss | Better than #C++! | Official Documentation on http://python.org/doc/ | New to python? Read http://inventwithpython.com/IYOCGwP_book1.pdf | Plugin Collection: http://waa.ai/h06 | How to ask: http://www.catb.org/~esr/faqs/smart-questions.html
Category: Python Chat Rooms


python (189)   programmers (20)   ruby (53)   scripting (65)  

<      1       2       3       4       5      >