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 à 2 sur 2  (0.049 secondes)

Salons de chat Agda

Catégorie:  Ordinateurs  >  Programmation  >  Agda
 

agda freenode

Salon de chat - 111 utilisateurs - Il y a 99 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

borsch freenode

Salon de chat - 4 utilisateurs - Il y a 99 minutes - thème actuel: OCaml, F#, Scala, Haskell, Idris, Agda, Coq, Lean etc. «Ничо так, только не понятно ничего». Логи от bvn13: http://jircbot.tk/logs/irc.freenode.net/_borsch. Ожили. Снова.
Catégorie: Salons de chat Bor

tcl tk (6)   twisted (20)   programming (172)   forth (8)   socket.io (1)   coders (26)  



Salons de chat Programmation

Programmation EuropNet

Salon de chat - 3 utilisateurs - Il y a 92 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 - 62 utilisateurs - 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 | Nous recherchons un ChanAdmin pour ce canal. Si cette perspective vous intéresse, merci d'envoyer votre candidature à chanroot@epiknet.org
Catégorie: Salons de chat Programmation

#programmation freenode

Salon de chat - 10 utilisateurs - Il y a 99 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 - 63 utilisateurs - Il y a 99 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 - 3 utilisateurs - Il y a 85 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 ]

sametmax freenode

Salon de chat - 12 utilisateurs - Il y a 99 minutes - thème actuel: Q&R Python - http://indexerror.net - Blog : programmation par contrat avec assert https://sametmax.com/programmation-par-contrat-avec-assert

haskell-fr freenode

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

rust-fr Mozilla

Salon de chat - 86 utilisateurs - Il y a 86 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 90 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 - 2 utilisateurs - Il y a 86 minutes - thème actuel: Salon d'aide informatique (support, programmation, etc).
Catégorie: Salons de chat Informatique


modula-2 (1)   compilers (7)   coders (26)   jolt (4)  

<      1       2       3       4       5      >