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 - 4 of 4  (0.090 seconds)

Agda Chat Rooms

Category:  Computers  >  Programming  >  Agda
 

agda Libera.Chat

Chat Room - 52 users - 41 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 | http://plfa.github.io | http://www.cs.nott.ac.uk/~psztxa/g53cfr/ | http://github.com/agda
Category: Agda Chat Rooms

agda freenode

Chat Room - 5 users - 41 minutes ago - current topic:  No topic
Category: Agda Chat Rooms

#agda freenode

Chat Room - 4 users - 41 minutes ago - current topic:  No topic
Category: Agda Chat Rooms

#agda Libera.Chat

Chat Room - 3 users - 41 minutes ago - current topic:  No topic
Category: Agda Chat Rooms

ruby (38)   smalltalk (6)   coders (30)   coding (39)   html (488)   code (300)  



Programming Chat Rooms

programming SwiftIRC

Chat Room - 20 users - 17 minutes ago - current topic:  https://discord.gg/xAVtSdMdhU | General programming assistance, beardy discussion and egotistical chit chat. | Long text? pastebin.com | Discussion of many languages, platforms, and frameworks. | Don't ask to ask; just ask! | Celebrating 14 years of #programming!
Category: Programming Chat Rooms

#programming Libera.Chat

Chat Room - 759 users - 41 minutes ago - current topic:  Programming/Computer Science Discussion & Community Chat | Be respectful and friendly. Full channel rules: https://libera-programming.github.io | Put pastes in a pastebin, e.g. https://bpaste.net https://ideone.com
Category: Programming Chat Rooms

Programming DALnet

Chat Room - 4 users - 41 minutes ago - current topic:  Programming/Computer Science Discussion & Community Chat | Be respectful and friendly. Rules: English and have some patience | Put pastes in a pastebin, e.g. https://bpaste.net https://ideone.com
Category: Programming Chat Rooms

programming Snoonet

Chat Room - 71 users - 19 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 WeNet

Chat Room - 8 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

python Rizon

Chat Room - 28 users - 41 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

#linux-programming Libera.Chat

Chat Room - 5 users - 41 minutes ago - current topic:  pro-gram-ming n. a pastime similar to banging one's head against a wall; lin-ux n. the solution to a problem you didn't know you wanted to have
Category: Linux Programming Chat Rooms

nim Libera.Chat

Chat Room - 88 users - 41 minutes ago - current topic:  👑 Nim programming language - http://nim-lang.org/ | https://github.com/nim-lang/Nim/wiki/IRC-guidelines | Latest version: 1.6.0 - https://nim-lang.org/install.html | Forum: http://forum.nim-lang.org/ | IRC logs: http://irclogs.nim-lang.org/ | Bridged to Discord/Gitter/Matrix: https://discord.com/invite/nim | See also #nim-offtopic #nim-nologs | git.io/gHZGCg

C# Rizon

Chat Room - 10 users - 41 minutes ago - current topic:  C# Coding! Please ask your question and one of us will respond to you as soon as we can. In the meantime, please share your code on [http://pastebin.com, https://0bin.net], || Discords (C# Inn, Garbage Collectors), (https://discord.gg/rCMKcUU, https://discordapp.com/invite/aJwTAgS); [Open Programming Discussion is allowed]; [I apologize for my absence, school's rough :/]
Category: C# Chat Rooms

programming darkscience

Chat Room - 12 users - 35 minutes ago - current topic:  A channel for programmers, software engineers, hackers, you name it. | Share code dumps with https://gist.github.com/
Category: Programming Chat Rooms


scripting (56)   coders (30)   libraries (7)   kohana (1)  

<      1       2       3       4       5      >