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 - 4 von 4  (0,075 Sekunden)

Agda Chaträume

Kategorie:  Computer  >  Programmierung  >  Agda
 

agda Libera.Chat

Chatraum - 51 Besucher - vor 137 Minuten - aktuelles Topic:  Questions? Share your work as a self-contained gist and wait for an answer. | http://gist.github.com | http://agda.readthedocs.io | http://agda.github.io/agda-stdlib | http://wiki.portal.chalmers.se/agda | http://lists.chalmers.se/mailman/listinfo/agda | http://github.com/pigworker/CS410-18 | http://plfa.github.io | http://www.cs.nott.ac.uk/~psztxa/g53cfr/ | http://github.com/agda
Kategorie: Agda Chaträume

#agda freenode

Chatraum - 5 Besucher - vor 137 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

agda freenode

Chatraum - 4 Besucher - vor 137 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

#agda Libera.Chat

Chatraum - 2 Besucher - vor 137 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

programming (161)   vortex (4)   scripting (56)   netbeans (2)   postgresql (24)   coding (41)  



Programmierung Chaträume

rpg-atelier euIRC

Chatraum - 4 Besucher - vor 129 Minuten - aktuelles Topic:  Der (ehemals) offizielle Chat des RPG-Ateliers | https://www.rpg-atelier.net | https://www.multimediaxis.de | IRC lebt! Hier spielt die Musik, nicht auf Discord! | Programmierung allgemein in #progforum | RPG Maker!
Kategorie: Role-Playing Lier Chaträume

programming freenode

Chatraum - 40 Besucher - vor 137 Minuten - aktuelles Topic:  Programming discussion. All langauges/platforms welcome. For more than one liners, please use https://bpa.st/ or https://paste.ee/ | https://devdocs.io/ | https://en.wikibooks.org/wiki/Subject:Computer_programming | https://github.com/EbookFoundation/free-programming-books
Kategorie: Programmierung Chaträume

programming SwiftIRC

Chatraum - 19 Besucher - vor 115 Minuten - aktuelles Topic:  https://discord.gg/xAVtSdMdhU | General programming assistance, beardy discussion and egotistical chit chat. | Long text? pastebin.com | Discussion of many languages, platforms, and frameworks. | Don't ask to ask; just ask! | Celebrating 14 years of #programming!
Kategorie: Programmierung Chaträume

#programming Libera.Chat

Chatraum - 660 Besucher - vor 137 Minuten - aktuelles Topic:  Programming/Computer Science Discussion & Community Chat | Be respectful and friendly. Full channel rules: https://libera-programming.github.io | Put pastes in a pastebin, e.g. https://bpaste.net https://ideone.com
Kategorie: Programmierung Chaträume

programming Rizon

Chatraum - 3 Besucher - vor 137 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 Snoonet

Chatraum - 94 Besucher - vor 117 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 TechNet

Chatraum - 5 Besucher - vor 115 Minuten - aktuelles Topic:  Channel about programming | Ask anything code/software related | Share your projects!
Kategorie: Programmierung Chaträume

programming ouchnet

Chatraum - 2 Besucher - vor 120 Minuten - aktuelles Topic:  Open discussion for any progreamming language or philosophical discussion on programming
Kategorie: Programmierung Chaträume

programming WeNet

Chatraum - 5 Besucher - aktuelles Topic:  ...classbegWienlsctodmcea,llceoxdceerptionend... | faqs.org.ru | www.opennet.ru | www.rfc-editor.org | www.koders.com | www.sysinternals.com | algolist.manual.ru | www.codenet.ru
Kategorie: Programmierung Chaträume

python Rizon

Chatraum - 22 Besucher - vor 137 Minuten - aktuelles Topic:  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
Kategorie: Python Chaträume


scripting (56)   ats (1)   coding (41)   sql (13)  

<      1       2       3       4       5      >