Recherche de chat    Annuaire de chat    À propos de irc2go

  irc2go    
Chat en ligne    

Recherchez et participez à des salons de discussions via votre navigateur web !
 
Recherche de chat :  agda
Résultats de 1 à 1 sur 1  (0.044 secondes)

Salons de chat Agda

Catégorie:  Ordinateurs  >  Programmation  >  Agda
 


agda freenode

Salon de chat - 120 utilisateurs - Il y a 97 minutes - thème actuel: 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
Catégorie: Salons de chat Agda

lisp (43)   caml (1)   scripting (72)   programming (195)   falcon (7)   programmers (20)  



Salons de chat Programmation

Programmation EuropNet

Salon de chat - 3 utilisateurs - Il y a 89 minutes - thème actuel: Canal dédié à la programmation, scripts et développement Web. L'équipe est reconnaissable à son statut (% ou @) -- Posez vos questions sur le canal -- Respectez les règles ( http://www.europnet.org/regles.php ) -- Postez vos codes ( http://europnet.pastebin.com )
Catégorie: Salons de chat Programmation

Programmation EpiKnet

Salon de chat - 57 utilisateurs - Il y a 89 minutes - thème actuel: Testez vos codes sur http://ideone.com — Pour du web http://codepen.io/pen/ — Pour SQL http://sqlfiddle.com — du regex https://regex101.com
Catégorie: Salons de chat Programmation

#programmation freenode

Salon de chat - 13 utilisateurs - Il y a 97 minutes - thème actuel: Codito ergo sum. UTF-8 obligatoire ! NO C/C > http://pastebin.com/ (ou autre)
Catégorie: Salons de chat Programmation

#prolog freenode

Salon de chat - 75 utilisateurs - Il y a 97 minutes - thème actuel: ##prolog : PROgrammation in LOGique: | SLOW MOTION CHANNEL: Ask, wait; check back | Tutorial: Learn Prolog Now! | | Try online: | Channel bot help: ?help
Catégorie: Salons de chat Prolog

prog Otaku-IRC

Salon de chat - 4 utilisateurs - Il y a 82 minutes - thème actuel: Bienvenue sur le channel de programmation du réseau. [Postez votre code: http://Pastebin.Otaku-IRC.fr/ ] [Posez vos questions mais soyez patients] [Forum: http://forum.otaku-irc.fr ]

haskell-fr freenode

Salon de chat - 29 utilisateurs - Il y a 97 minutes - thème actuel: [ Salon dédié au langage de programmation Haskell : http://www.haskell.org/ , Apprendre Haskell : http://lyah.haskell.fr/ , Ressources : http://www.haskell.fr/ ]
Catégorie: Salons de chat Haskell France

rust-fr Mozilla

Salon de chat - 77 utilisateurs - Il y a 83 minutes - thème actuel: Bienvenue, petite Rustacée. Canal dédié à la programmation en Rouille et en bon français.
Catégorie: Salons de chat Rust France

style-python GeekNode

Salon de chat - 4 utilisateurs - Il y a 88 minutes - thème actuel: Style-python - chan dédié à la programmation python - http://www.style-python.fr
Catégorie: Salons de chat Python

Informatique Mimacy

Salon de chat - 3 utilisateurs - Il y a 83 minutes - thème actuel: Salon d'aide informatique (support, programmation, etc).
Catégorie: Salons de chat Informatique

#programming-ar freenode

Salon de chat - 3 utilisateurs - Il y a 97 minutes - thème actuel: مرحبا بك في نادي المبرمجين العرب || This is the official channel for programming-ar community in Arabic || توقف درس PyQt لقلة الحضور. سيُعلن عن الدرس في موعد آخر إن شاء الله. لا تتردد في السؤال عن البرمجة أبدا!
Catégorie: Salons de chat Programmation Argentine


scala (16)   coding (75)   programmers (20)   clojure (17)  

<      1       2       3       4       5      >   
 


Annuaire de chat:    Programmation Chat    ActionScript Chat    Ada Chat    Ajax Chat    APIs Chat    ASCII Chat    Assembler Chat    ATS Chat    Bash Chat    Basic Chat    C Chat    C# Chat    C++ Chat    Caml Chat    Cascading Style Sheets Chat    CGI Chat    . . .