Chat-Suche    Chat-Verzeichnis    Über irc2go

  irc2go    
Online Chat    

Suche Chaträume im Internet Relay Chat und betrete sie von hier aus mit deinem Browser oder einer Chat-App!

 
Chat-Suche :  agda
Ergebnisse 1 - 1 von 1  (0,060 Sekunden)*

Agda Chaträume

Kategorie:  Computer  >  Programmierung  >  Agda
 

agda freenode

Chatraum - 118 Besucher - vor 153 Minuten - aktuelles Topic: 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
Kategorie: Agda Chaträume

programming (174)   cascading style sheets (2)   perl (61)   code (526)   coders (25)   coding (65)  



Programmierung Chaträume

#programming-ar freenode

Chatraum - 3 Besucher - vor 153 Minuten - aktuelles Topic: مرحبا بك في نادي المبرمجين العرب || This is the official channel for programming-ar community in Arabic || توقف درس PyQt لقلة الحضور. سيُعلن عن الدرس في موعد آخر إن شاء الله. لا تتردد في السؤال عن البرمجة أبدا!
Kategorie: Programmierung Chaträume

programming SwiftIRC

Chatraum - 13 Besucher - vor 132 Minuten - aktuelles Topic: 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!
Kategorie: Programmierung Chaträume

#programming freenode

Chatraum - 640 Besucher - vor 153 Minuten - aktuelles Topic: 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.
Kategorie: Programmierung Chaträume

programming Snoonet

Chatraum - 125 Besucher - vor 133 Minuten - aktuelles Topic: Welcome to #programming! | Check out #python for snakes, #math for math talk and #cs for computer science talk HONOR THE WORD OF THE PEOPLE
Kategorie: Programmierung Chaträume

programming Rizon

Chatraum - 7 Besucher - vor 153 Minuten - aktuelles Topic: 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
Kategorie: Programmierung Chaträume

programming ByNets

Chatraum - 8 Besucher - vor 150 Minuten - aktuelles Topic: За вопросы «кто живой? кто шарит?» — бан | Исходники постить НЕ НА КАНАЛЕ, а в http://codepad.org/ | #job | #java#php#ruby#symbian#wm-dev | Курсачи/дипломы пишут на #commerce | RTFM(R)SDN! https://files.rsdn.org/42710/askdumb2.gif
Kategorie: Programmierung Chaträume

#programming-ops freenode

Chatraum - 3 Besucher - vor 153 Minuten - aktuelles Topic: Discussion of moderation/channel issues for ##programming are done here as requested. ##programming policies: http://tinyurl.com/2lb-programming
Kategorie: Programmierung Chaträume

programming ChatLounge

Chatraum - 6 Besucher - vor 149 Minuten - aktuelles Topic: Welcome to #programming | Ask about anything related to programming.
Kategorie: Programmierung Chaträume

srl-discord-programming Rizon

Chatraum - 9 Besucher - vor 153 Minuten - aktuelles Topic: SRL Discord #programming bridge
Kategorie: Disco Programmierung Chaträume


coding (65)   coders (25)   opengl (4)   jquery (14)  

<      1       2       3       4       5      >