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

  irc2go    
Онлайн чат    

Ищите бесплатные каналы и присоединяйтесь к ним прямо из вашего браузер!

 
Поиск чата :  agda
Pезультаты 1 - 2 из 2  (0.056 секунд)

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

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

agda freenode

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

borsch freenode

Комната чата - Пользователей: 4 - актуальная тема: OCaml, F#, Scala, Haskell, Idris, Agda, Coq, Lean etc. «Ничо так, только не понятно ничего». Логи от bvn13: http://jircbot.tk/logs/irc.freenode.net/_borsch. Ожили. Снова.
Категоия: Бор Комнаты чатов

coding (63)   code (509)   assembler (2)   apis (2)   bash (45)   twisted (19)  



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

#programming freenode

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

programming SwiftIRC

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

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

programming Rizon

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

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

#programming-ops freenode

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

programming ChatLounge

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

srl-discord-programming Rizon

Комната чата - Пользователей: 9 - 187 минут назад - актуальная тема: SRL Discord #programming bridge
Категоия: Disco Programming Комнаты чатов

programming WeNet

Комната чата - Пользователей: 4 - 166 минут назад - актуальная тема: ...classbegWienlsctodmcea,llceoxdceerptionend... | faqs.org.ru | www.opennet.ru | www.rfc-editor.org | www.koders.com | www.sysinternals.com | algolist.manual.ru | www.codenet.ru
Категоия: Programming Комнаты чатов

scala freenode

Комната чата - Пользователей: 152 - актуальная тема: The Scala programming language http://www.scala-lang.org/download/ | Please follow the Scala Code of Conduct: http://www.scala-lang.org/conduct/ | Resources: http://www.scala-lang.org/community | See also our chat on gitter https://gitter.im/scala/scala | paste code snippets to http://scastie.org or https://gist.github.com | Issues with the channel? Discuss on #scala-ops
Категоия: Scala Комнаты чатов


programmers (18)   scripting (68)   coders (26)   caml (1)  

<      1       2       3       4       5      >