Búsqueda de chat    Directorio de chat    De irc2go

  irc2go    
Chat en línea    

¡Busca salas de chat en el Internet Relay Chat y pisa ellos desde aquí con tu navegador o con una aplicación!
 
Búsqueda de chat :  agda
Resultados 1 - 2 de 2  (0,103 segundos)

Salas de chat Agda

Categoría:  Computers  >  Programming  >  Agda
 


agda freenode

Sala de chat - 115 visitantes - tema actual: 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
Categoría: Salas de chat Agda

dependent freenode

Sala de chat - 4 visitantes - tema actual: Moving to ​#​#dependent.​ Dependently-typed functional programming languages.​ (​#agda ∩ ​#coq) ∪ dependent types as a whole

coders (29)   programming (232)   drupal (110)   programmers (27)   elixir (7)   scripting (89)  



Salas de chat Programming

​#programming-ar freenode

Sala de chat - 5 visitantes - tema actual: مرحبا بك في نادي المبرمجين العرب |​|​ This is the official channel for programming-ar community in Arabic |​|​ توقف درس PyQt لقلة الحضور.​ سيُعلن عن الدرس في موعد آخر إن شاء الله.​ لا تتردد في السؤال عن البرمجة أبدا!
Categoría: Salas de chat Programming Argentina

​#programming freenode

Sala de chat - 703 visitantes - tema actual: 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.​
Categoría: Salas de chat Programming


programming SwiftIRC

Sala de chat - 20 visitantes - tema actual: 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!
Categoría: Salas de chat Programming

programming Rizon

Sala de chat - 14 visitantes - tema actual: 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
Categoría: Salas de chat Programming

programming Cyanide-x

Sala de chat - 3 visitantes - tema actual: 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
Categoría: Salas de chat Programming

programming Snoonet

Sala de chat - 100 visitantes - tema actual: Welcome to ​#programming! |​ Check out ​#math for math talk and ​#cs for computer science talk HONOR THE WORD OF THE PEOPLE
Categoría: Salas de chat Programming

programming Subluminal

Sala de chat - 49 visitantes - tema actual: 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
Categoría: Salas de chat Programming

programming ByNets

Sala de chat - 15 visitantes - tema actual: За вопросы «кто живой? кто шарит?» — бан |​ Исходники постить НЕ НА КАНАЛЕ,​ а в http:/​/​codepad.​org/​ |​ ​#job |​ ​#java​#php​#ruby​#symbian​#wm-dev |​ Курсачи/​дипломы пишут на ​#commerce |​ RTFM(R)SDN! https:/​/​files.​rsdn.​ru/​42710/​askdumb2.​gif
Categoría: Salas de chat Programming

​#programming-ops freenode

Sala de chat - 5 visitantes - tema actual: Discussion of moderation/​channel issues for ​#​#programming are done here as requested.​ ​#​#programming policies: http:/​/​tinyurl.​com/​2lb-programming
Categoría: Salas de chat Programming

​#C freenode

Sala de chat - 1067 visitantes - tema actual: The C Programming Language |​ C11 is the current C Standard |​ 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!
Categoría: Salas de chat C


ada (32)   code (647)   elixir (7)   pypy (3)  



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


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