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,060 Sekunden)

Agda Chaträume

Kategorie:  Computer  >  Programmierung  >  Agda
 

agda Libera.Chat

Chatraum - 51 Besucher - vor 65 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 - 12 Besucher - vor 65 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

agda freenode

Chatraum - 12 Besucher - vor 65 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

#agda Libera.Chat

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

modula-2 (5)   coders (28)   codeigniter (2)   scripting (56)   c++ (25)   elixir (8)  



Programmierung Chaträume

programming freenode

Chatraum - 89 Besucher - vor 65 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 Libera.Chat

Chatraum - 545 Besucher - vor 65 Minuten - aktuelles Topic:  Programming/Computer Science Discussion & Community Chat | Channel rules: Be respectful and friendly, and promote constructive discourse. Put pastes in a pastebin, e.g. https://bpaste.net https://ideone.com
Kategorie: Programmierung Chaträume

programming Snoonet

Chatraum - 112 Besucher - vor 45 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 - 3 Besucher - vor 65 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-ops Libera.Chat

Chatraum - 5 Besucher - vor 65 Minuten - aktuelles Topic:  Contact the ##programming ops here. Feel free to directly raise your question/issue here and wait for a response, then after we've resolved/addressed it you can part again. Thanks!
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 - 31 Besucher - vor 65 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

#linux-programming Libera.Chat

Chatraum - 6 Besucher - vor 65 Minuten - aktuelles Topic:  pro-gram-ming n. a pastime similar to banging one's head against a wall; lin-ux n. the solution to a problem you didn't know you wanted to have
Kategorie: Linux Programmierung Chaträume

C# Rizon

Chatraum - 10 Besucher - vor 65 Minuten - aktuelles Topic:  C# Coding! Please ask your question and one of us will respond to you as soon as we can. In the meantime, please share your code on [http://pastebin.com, https://0bin.net], || Discords (C# Inn, Garbage Collectors), (https://discord.gg/rCMKcUU, https://discordapp.com/invite/aJwTAgS); [Open Programming Discussion is allowed]; [I apologize for my absence, school's rough :/]
Kategorie: C# Chaträume

nim Libera.Chat

Chatraum - 66 Besucher - vor 65 Minuten - aktuelles Topic:  👑 Nim programming language - http://nim-lang.org/ | https://github.com/nim-lang/Nim/wiki/IRC-guidelines | Latest version: 1.4.8 - https://nim-lang.org/install.html | Forum: http://forum.nim-lang.org/ | IRC logs: http://irclogs.nim-lang.org/ | Bridged to Discord/Gitter/Matrix: https://discord.com/invite/nim | See also #nim-offtopic #nim-nologs | git.io/gHZGCg


programmers (15)   xml (12)   code (310)   programming (152)  

<      1       2       3       4       5      >