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

  irc2go    
Online Chat    

Αναζήτηση για κανάλια και να συμμετέχετε σε αυτούς μέσω διαδυκτιακού περιηγητή!
 
Chat Αναζήτηση :  agda
Αποτελέσματα1 - 1 of 1  (0.047 δευτερόλεπτα)

Agda Chat Κανάλια

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


agda freenode

Chat Κανάλι - 119 χρήστες - 184 λεπτά πρίν - τρέχον θέμα: 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 | Agda safety: we last proved false on May 2nd 2015. | Please comment your Agda | Lib: http://bit.ly/RivPPG
Κατηγορία: Agda Chat Κανάλια

latex (28)   programmers (27)   code (630)   programming (224)   coders (28)   coding (85)  



Programming Chat Κανάλια

#programming-ar freenode

Chat Κανάλι - 4 χρήστες - 184 λεπτά πρίν - τρέχον θέμα: مرحبا بك في نادي المبرمجين العرب || This is the official channel for programming-ar community in Arabic || توقف درس PyQt لقلة الحضور. سيُعلن عن الدرس في موعد آخر إن شاء الله. لا تتردد في السؤال عن البرمجة أبدا!
Κατηγορία: Programming Argentina Chat Κανάλια

#programming freenode

Chat Κανάλι - 724 χρήστες - 184 λεπτά πρίν - τρέχον θέμα: Community Chat & Programming/Computer Science Discussion | If you have a question, don't ask to ask, just ask! | Paste > 2 lines to a pastebin such as http://ideone.com | Channel rules: http://tinyurl.com/2lb-programming | Colour codes filtered again because idiets.
Κατηγορία: Programming Chat Κανάλια

programming SwiftIRC

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


programming Rizon

Chat Κανάλι - 10 χρήστες - 184 λεπτά πρίν - τρέχον θέμα: 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 Κανάλι - 122 χρήστες - 168 λεπτά πρίν - τρέχον θέμα: Welcome to #programming! | Check out #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Κατηγορία: Programming Chat Κανάλια

programming Subluminal

Chat Κανάλι - 49 χρήστες - 168 λεπτά πρίν - τρέχον θέμα: <@aaomidi> Are there bitds??? | First SHA-1 collision: http://bit.ly/2kR96lX | i missed the d | three fingers | 7777 33 66 3 66 88 3 33 7777 | http://bit.ly/2mhbn6n | Right in the duckhole | I've seen a how-to video of a person fucking a chicken, and when I t
Κατηγορία: Programming Chat Κανάλια

programming ByNets

Chat Κανάλι - 16 χρήστες - 182 λεπτά πρίν - τρέχον θέμα: За вопросы «кто живой? кто шарит?» — бан | Исходники постить НЕ НА КАНАЛЕ, а в http://codepad.org/ | #job | #java#php#ruby#symbian#wm-dev | Курсачи/дипломы пишут на #commerce | RTFM(R)SDN! https://files.rsdn.org/42710/askdumb2.gif
Κατηγορία: Programming Chat Κανάλια

#C freenode

Chat Κανάλι - 1031 χρήστες - 184 λεπτά πρίν - τρέχον θέμα: The C Programming Language | C2X Charter: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2086.htm | PASTE (>3 lines): http://ideone.com/ | WIKI: http://www.iso-9899.info/ | BOOKS: http://www.iso-9899.info/wiki/Books | Test your C knowledge in #cjeopardy | Off-topic chat in ##c-offtopic
Κατηγορία: C Chat Κανάλια

#programming-ops freenode

Chat Κανάλι - 5 χρήστες - 184 λεπτά πρίν - τρέχον θέμα: Discussion of moderation/channel issues for ##programming are done here as requested. ##programming policies: http://tinyurl.com/2lb-programming
Κατηγορία: Programming Chat Κανάλια

programming ChatLounge

Chat Κανάλι - 9 χρήστες - 181 λεπτά πρίν - τρέχον θέμα: Welcome to #programming | Ask about anything related to programming.
Κατηγορία: Programming Chat Κανάλια


programmers (27)   ajax (6)   latex (28)   code (630)  



<   1    2    3    4    5    6    >   
 


Chat Κατάλογος:    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    . . .