Chat Αναζήτηση    Chat Κατάλογος    Πληροφορίες σχετικά για το irc2go

  irc2go    
Online Chat    

Αναζήτηση για κανάλια και να συμμετέχετε σε αυτούς μέσω διαδυκτιακού περιηγητή!

 
Chat Αναζήτηση :  agda
Αποτελέσματα1 - 4 of 4  (0.057 δευτερόλεπτα)

Agda Chat Κανάλια

Κατηγορία:  Computers  >  Programming  >  Agda
 

agda Libera.Chat

Chat Κανάλι - 47 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  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
Κατηγορία: Agda Chat Κανάλια

#agda freenode

Chat Κανάλι - 5 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  Δεν υπάρχει θέμα
Κατηγορία: Agda Chat Κανάλια

agda freenode

Chat Κανάλι - 5 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  Δεν υπάρχει θέμα
Κατηγορία: Agda Chat Κανάλια

#agda Libera.Chat

Chat Κανάλι - 3 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  Δεν υπάρχει θέμα
Κατηγορία: Agda Chat Κανάλια

regex (12)   coding (39)   ada (19)   scripting (55)   programmers (16)   basic (41)  



Programming Chat Κανάλια

programming SwiftIRC

Chat Κανάλι - 19 χρήστες - 88 λεπτά πρίν - τρέχον θέμα:  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!
Κατηγορία: Programming Chat Κανάλια

#programming Libera.Chat

Chat Κανάλι - 755 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  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
Κατηγορία: Programming Chat Κανάλια

programming Rizon

Chat Κανάλι - 6 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  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
Κατηγορία: Programming Chat Κανάλια

programming Snoonet

Chat Κανάλι - 81 χρήστες - 89 λεπτά πρίν - τρέχον θέμα:  Welcome to #programming! | Check out #python for snakes, #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Κατηγορία: Programming Chat Κανάλια

programming IRC-Nerds

Chat Κανάλι - 4 χρήστες - 99 λεπτά πρίν - τρέχον θέμα:  Channel about programming | Ask anything code/software related | Share your projects!
Κατηγορία: Programming Chat Κανάλια

programming TechNet

Chat Κανάλι - 4 χρήστες - τρέχον θέμα:  Channel about programming | Ask anything code/software related | Share your projects!
Κατηγορία: Programming Chat Κανάλια

programming ouchnet

Chat Κανάλι - 2 χρήστες - 94 λεπτά πρίν - τρέχον θέμα:  Open discussion for any progreamming language or philosophical discussion on programming
Κατηγορία: Programming Chat Κανάλια

python Rizon

Chat Κανάλι - 23 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  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
Κατηγορία: Python Chat Κανάλια

#linux-programming Libera.Chat

Chat Κανάλι - 5 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  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
Κατηγορία: Linux Programming Chat Κανάλια

raku Libera.Chat

Chat Κανάλι - 181 χρήστες - 112 λεπτά πρίν - τρέχον θέμα:  🦋 Welcome to the MAIN() IRC channel of the Raku Programming Language (https://raku.org). This channel is logged for the purpose of keeping a history about its development | evalbot usage: 'm: say 3;' or /msg camelia m: ... | Log inspection is getting closer to beta. If you're a beginner, you can also check out the #raku-beginner channel!


programmers (16)   scripting (55)   coders (26)   coding (39)  

<      1       2       3       4       5      >