Поиск чата    Каталог чатов    О irc2go

  irc2go    
Онлайн чат    

Ищите бесплатные каналы и присоединяйтесь к ним прямо из вашего браузер!
 
Поиск чата :  agda
Pезультаты 1 - 1 из 1  (0.066 секунд)

Agda Комнаты чатов

Категоия:  Computers  >  Programming  >  Agda
 


agda freenode

Комната чата - Пользователей: 123 - 83 минут назад - актуальная тема: 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 Комнаты чатов

freebasic (2)   fortran (6)   programming (226)   coders (30)   kohana (2)   scripting (86)  



Programming Комнаты чатов

#programming-ar freenode

Комната чата - Пользователей: 4 - 83 минут назад - актуальная тема: مرحبا بك في نادي المبرمجين العرب || This is the official channel for programming-ar community in Arabic || توقف درس PyQt لقلة الحضور. سيُعلن عن الدرس في موعد آخر إن شاء الله. لا تتردد في السؤال عن البرمجة أبدا!
Категоия: Programming Argentina Комнаты чатов

#programming freenode

Комната чата - Пользователей: 716 - 83 минут назад - актуальная тема: 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 Комнаты чатов

programming SwiftIRC

Комната чата - Пользователей: 20 - 67 минут назад - актуальная тема: 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 Комнаты чатов


programming Rizon

Комната чата - Пользователей: 10 - 83 минут назад - актуальная тема: 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 Комнаты чатов

programming Snoonet

Комната чата - Пользователей: 116 - 67 минут назад - актуальная тема: Welcome to #programming! | Check out #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Категоия: Programming Комнаты чатов

programming Subluminal

Комната чата - Пользователей: 55 - 67 минут назад - актуальная тема: I've seen a how-to video of a person fucking a chicken, and when I tried, the chicken seemed faster afterwards. #peta #animalrights | I've seen a video of a person fucking a chicken, and the chicken seemed fine afterwards :x | MY COMMUNICATION METHOD IS TURING COMPLETE IF YO
Категоия: Programming Комнаты чатов

programming ByNets

Комната чата - Пользователей: 14 - 80 минут назад - актуальная тема: За вопросы «кто живой? кто шарит?» — бан | Исходники постить НЕ НА КАНАЛЕ, а в http://codepad.org/ | #job | #java#php#ruby#symbian#wm-dev | Курсачи/дипломы пишут на #commerce | RTFM(R)SDN! https://files.rsdn.org/42710/askdumb2.gif
Категоия: Programming Комнаты чатов

#C freenode

Комната чата - Пользователей: 1067 - 83 минут назад - актуальная тема: 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 Комнаты чатов

#programming-ops freenode

Комната чата - Пользователей: 5 - 83 минут назад - актуальная тема: Discussion of moderation/channel issues for ##programming are done here as requested. ##programming policies: http://tinyurl.com/2lb-programming
Категоия: Programming Комнаты чатов

programming ChatLounge

Комната чата - Пользователей: 8 - 80 минут назад - актуальная тема: Welcome to #programming | Ask about anything related to programming.
Категоия: Programming Комнаты чатов


coding (84)   zend (5)   html (1114)   scripting (86)  



<   1    2    3    4    5    6    >   
 


Каталог чатов:    Programming Чат    ActionScript Чат    Ada Чат    Ajax Чат    APIs Чат    ASCII Чат    Assembler Чат    ATS Чат    Bash Чат    Basic Чат    C Чат    C# Чат    C++ Чат    Caml Чат    Cascading Style Sheets Чат    CGI Чат    . . .