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,047 segundos)

Salas de chat Agda

Categoría:  Computers  >  Programming  >  Agda
 


agda freenode

Sala de chat - 114 visitantes - hace 48 minutos - 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 | Please comment your Agda | Lib: http://bit.ly/RivPPG
Categoría: Salas de chat Agda

borsch Mozilla

Sala de chat - 2 visitantes - hace 34 minutos - tema actual: Rust, Scala, F#, OCaml, Haskell, Idris, Agda, Coq, Lean, теория категорий etc. «Ща, …, позвоню куда надо» Логи от bvn13: http://jircbot.tk/logs/irc.mozilla.org/_borsch
Categoría: Salas de chat Bor

coding (75)   interpreter (4)   fortran (5)   programmers (19)   coders (24)   forth (7)  



Salas de chat Programming

#programming-ar freenode

Sala de chat - 3 visitantes - hace 48 minutos - 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 - 699 visitantes - hace 48 minutos - tema actual: Community Chat & Programming/Computer Science Discussion | If you have a question, don't ask to ask, just ask! | Paste > 3 lines to a pastebin such as https://ideone.com | Channel rules: https://tinyurl.com/2lb-programming | Colour codes filtered again because idiets.
Categoría: Salas de chat Programming

programming SwiftIRC

Sala de chat - 15 visitantes - hace 30 minutos - 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 Snoonet

Sala de chat - 128 visitantes - hace 31 minutos - tema actual: Welcome to #programming! | Check out #python for snakes, #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Categoría: Salas de chat Programming

programming Rizon

Sala de chat - 7 visitantes - hace 47 minutos - 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 ByNets

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

#programming-ops freenode

Sala de chat - 6 visitantes - hace 48 minutos - 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

programming ChatLounge

Sala de chat - 8 visitantes - hace 43 minutos - tema actual: Welcome to #programming | Ask about anything related to programming.
Categoría: Salas de chat Programming

programming WeNet

Sala de chat - 7 visitantes - hace 28 minutos - tema actual: ...classbegWienlsctodmcea,llceoxdceerptionend... | faqs.org.ru | www.opennet.ru | www.rfc-editor.org | www.koders.com | www.sysinternals.com | algolist.manual.ru | www.codenet.ru
Categoría: Salas de chat Programming

python Rizon

Sala de chat - 57 visitantes - hace 47 minutos - tema actual: 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
Categoría: Salas de chat Python


coding (75)   xml (20)   python (202)   coders (24)  

<      1       2       3       4       5      >   
 


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