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

  irc2go    
Online Chat    

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

Agda Chat Κανάλια

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


agda freenode

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

dependent freenode

Chat Κανάλι - 4 χρήστες - 189 λεπτά πρίν - τρέχον θέμα: Moving to ​#​#dependent.​ Dependently-typed functional programming languages.​ (​#agda ∩ ​#coq) ∪ dependent types as a whole

programming (229)   xhtml (6)   programmers (26)   pascal (4)   scripting (89)   matlab (6)  



Programming Chat Κανάλια

​#programming-ar freenode

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

programming SwiftIRC

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

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

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

Chat Κανάλι - 3 χρήστες - 185 λεπτά πρίν - τρέχον θέμα: Welcome to Programming |​ Ask questions about any type of language [CSS,​ PHP,​ HTML,​ AJAX,​ SQL,​ mIRC,​ PHP{bots}] |​ English only - Australian an US Web Hosting,​ pm Excuses or erderr
Κατηγορία: Programming Chat Κανάλια

programming Snoonet

Chat Κανάλι - 100 χρήστες - 175 λεπτά πρίν - τρέχον θέμα: 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 Κανάλι - 45 χρήστες - 174 λεπτά πρίν - τρέχον θέμα: 66798-f96c15bd |​ http:/​/​adventofcode.​com/​ |​ blblblblbl |​ <me> it uses keys |​ If you've got any questions regarding PHP,​ Dritz is your guy.​ |​ AoC Code: 66798-f96c15bd |​ AoC Leaderboard: http:/​/​bit.​ly/​2fKBCDo |​ drink your school stay in sleep don't do milk and get eight hours of drugs |​ exio4: php
Κατηγορία: Programming Chat Κανάλια

programming ByNets

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

​#programming-ops freenode

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

ubuntu-programming freenode

Chat Κανάλι - 6 χρήστες - 189 λεπτά πρίν - τρέχον θέμα: What are people working on? |​ lnostdal: http:/​/​github.​com/​lnostdal and Clojure algo-trading: https:/​/​nostdal.​duckdns.​org/​quantataraxia/​long_​term.​html |​ nvteighen: https:/​/​launchpad.​net/​pyctactoe https:/​/​launchpad.​net/​cmchess
Κατηγορία: Ubuntu Programming Chat Κανάλια


coders (30)   scripting (89)   interpreter (3)   coding (83)  



<   1    2    3    4    5    6    7    8    9   10    >   
 


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    . . .