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.066 seconds)

Agda Chat Rooms

Category:  Computers  >  Programming  >  Agda
 


agda freenode

Chat Room - 118 users - 127 minutes ago - current topic: Agda: is it a dependently-typed programming language? Is it a proof-assistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. | Wiki: http://bit.ly/7pSJE | Logs: http://agda.orangesquash.org.uk/ | http://news.gmane.org/gmane.comp.lang.agda | Please comment your Agda | Lib: http://bit.ly/RivPPG
Category: Agda Chat Rooms

smalltalk (9)   python (220)   qt (46)   basic (49)   programmers (25)   programming (211)  



Programming Chat Rooms

#programming-ar freenode

Chat Room - 3 users - 127 minutes ago - current topic: مرحبا بك في نادي المبرمجين العرب || This is the official channel for programming-ar community in Arabic || توقف درس PyQt لقلة الحضور. سيُعلن عن الدرس في موعد آخر إن شاء الله. لا تتردد في السؤال عن البرمجة أبدا!
Category: Programming Argentina Chat Rooms

programming SwiftIRC

Chat Room - 16 users - 108 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 freenode

Chat Room - 674 users - 127 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 http://ideone.com | Channel rules: http://tinyurl.com/2lb-programming | Colour codes filtered again because idiets.
Category: Programming Chat Rooms

programming Snoonet

Chat Room - 136 users - 109 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

programming Rizon

Chat Room - 8 users - 126 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 ByNets

Chat Room - 12 users - 123 minutes ago - current topic: За вопросы «кто живой? кто шарит?» — бан | Исходники постить НЕ НА КАНАЛЕ, а в http://codepad.org/ | #job | #java#php#ruby#symbian#wm-dev | Курсачи/дипломы пишут на #commerce | RTFM(R)SDN! https://files.rsdn.org/42710/askdumb2.gif
Category: Programming Chat Rooms

#programming-ops freenode

Chat Room - 5 users - 127 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 ChatLounge

Chat Room - 8 users - 122 minutes ago - current topic: Welcome to #programming | Ask about anything related to programming.
Category: Programming Chat Rooms

programming WeNet

Chat Room - 7 users - 107 minutes ago - 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

/g/wdg Rizon

Chat Room - 40 users - 126 minutes ago - current topic: /wdg/ - Web Development General http://boards.4chan.org/g/wdg :: Where to start https://youtu.be/pB0WvcxTbCA (updated) :: Learning Material http://codecademy.com/ - http://programming-motherfucker.com/ :: Front end development https://github.com/dypsilon/frontend-dev-bookmarks/ :: Back end development https://gist.github.com/dypsilon/5819528/ :: Don't paste code to the chat, see !share


forth (7)   elixir (8)   coding (76)   programmers (25)  

<   1    2    3    4    5    6    >   
 


Chat Directory:    Programming Chat    ActionScript Chat    Ada Chat    Ajax Chat    APIs Chat    ASCII Chat    Assembler Chat    ATS Chat    Bash Chat    Basic Chat    C Chat    C# Chat    C++ Chat    Caml Chat    Cascading Style Sheets Chat    CGI Chat    . . .