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

Agda Chaträume

Kategorie:  Computer  >  Programmierung  >  Agda
 

agda Libera.Chat

Chatraum - 47 Besucher - vor 142 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 - 6 Besucher - vor 142 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

#agda freenode

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

#agda Libera.Chat

Chatraum - 3 Besucher - vor 142 Minuten - aktuelles Topic:  Kein Topic
Kategorie: Agda Chaträume

coding (41)   scripting (54)   smalltalk (7)   programmers (17)   c (24)   coders (27)  



Programmierung Chaträume

rpg-atelier euIRC

Chatraum - 5 Besucher - vor 134 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 SwiftIRC

Chatraum - 17 Besucher - vor 119 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 - 732 Besucher - vor 142 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 - 7 Besucher - vor 142 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 - 82 Besucher - vor 121 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 DALnet

Chatraum - 2 Besucher - vor 142 Minuten - aktuelles Topic:  Programming/Computer Science Discussion & Community Chat | Be respectful and friendly. Rules: English and have some patience | Put pastes in a pastebin, e.g. https://bpaste.net https://ideone.com
Kategorie: Programmierung Chaträume

programming IRC-Nerds

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

programming TechNet

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

programming ouchnet

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

raku Libera.Chat

Chatraum - 175 Besucher - vor 142 Minuten - aktuelles Topic:  🦋 Welcome to the MAIN() IRC channel of the Raku Programming Language (https://raku.org). This channel is logged for the purpose of keeping a history about its development | evalbot usage: 'm: say 3;' or /msg camelia m: ... | Log available at https://irclogs.raku.org/raku/live.html . If you're a beginner, you can also check out the #raku-beginner channel!


coding (41)   coders (27)   scripting (54)   programmers (17)  

<      1       2       3       4       5      >