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

  irc2go    
Online Chat    

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

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

Agda Chat Κανάλια

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

agda Libera.Chat

Chat Κανάλι - 39 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:  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 Libera.Chat

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

javascript (27)   ruby (27)   coders (28)   programming (148)   scripting (52)   qt (39)  



Programming Chat Κανάλια

programming SwiftIRC

Chat Κανάλι - 19 χρήστες - 106 λεπτά πρίν - τρέχον θέμα:  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 Κανάλι - 627 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:  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 Snoonet

Chat Κανάλι - 111 χρήστες - 108 λεπτά πρίν - τρέχον θέμα:  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 Rizon

Chat Κανάλι - 3 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:  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 TechNet

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

programming WeNet

Chat Κανάλι - 5 χρήστες - τρέχον θέμα:  ...classbegWienlsctodmcea,llceoxdceerptionend... | faqs.org.ru | www.opennet.ru | www.rfc-editor.org | www.koders.com | www.sysinternals.com | algolist.manual.ru | www.codenet.ru
Κατηγορία: Programming Chat Κανάλια

python Rizon

Chat Κανάλι - 25 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:  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 Κανάλι - 6 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:  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 Κανάλι - 166 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:  🦋 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!

opsec Libera.Chat

Chat Κανάλι - 29 χρήστες - 127 λεπτά πρίν - τρέχον θέμα:   Personal and Operational Security Discussion Channel .. Interesting links ->  https://the-quash.captivate.fm/      https://odysee.com/@RobBraxmanTech:6  or https://www.youtube.com/c/BraxMe/videos https://code.quora.com/What-do-only-people-with-20-50-years-of-programming-experience-know  https://pastebin.com/irj4Fyd5 https://dessalines.github.io/essays/why_not_signal.html


sql (11)   erlang (8)   ajax (3)   coders (28)  

<      1       2       3       4       5      >