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

  irc2go    
Онлайн чат    

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

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

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


agda freenode

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

dependent freenode

Комната чата - Пользователей: 4 - 65 минут назад - актуальная тема: Moving to ​#​#dependent.​ Dependently-typed functional programming languages.​ (​#agda ∩ ​#coq) ∪ dependent types as a whole

programmers (25)   scripting (85)   compilers (9)   xhtml (6)   coders (31)   netbeans (1)  



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

​#programming-ar freenode

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

programming SwiftIRC

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

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

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

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

programming Snoonet

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

programming Subluminal

Комната чата - Пользователей: 44 - 50 минут назад - актуальная тема: "whoever can trigger me with the least amount of words possible wins" |​ %me |​ and i'm watching humans |​ <@astra> 04:04:04 @astra │ 04:04:00 @astra │ me: 404 food not found |​ HINGA DINGA DURGEN |​ < strawberryluna> i just want Cs |​ 66798-f96c15bd |​ http:/​/​adventofcode.​com/​ |​ blblblblbl |​ <me>
Категоия: Programming Комнаты чатов

programming ByNets

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

​#programming-ops freenode

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

​#C freenode

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


eiffel (3)   scripting (85)   actionscript (3)   code (654)  



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


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