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.058 secondes)

Salons de chat Agda

Catégorie:  Ordinateurs  >  Programmation  >  Agda
 

agda freenode

Salon de chat - 114 utilisateurs - 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 - 3 utilisateurs - 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

coding (56)   coders (25)   python (189)   programmers (16)   delphi (6)   programming (182)  



Salons de chat Programmation

Programmation EuropNet

Salon de chat - 3 utilisateurs - 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

#prolog freenode

Salon de chat - 68 utilisateurs - thème actuel: ##prolog : PROgrammation en LOGique: | SLOW MOTION CHANNEL: Ask, wait; check back | Tutorial: Learn Prolog Now! | | Try online: | Channel bot help: ?help | Suggested coding practices: https://arxiv.org/pdf/0911.2899.pdf".
Catégorie: Salons de chat Prolog

#programmation freenode

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

haskell-fr freenode

Salon de chat - 23 utilisateurs - 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 - 75 utilisateurs - 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 - thème actuel: Style-python - chan dédié à la programmation python - http://www.style-python.fr
Catégorie: Salons de chat Python

gamedev-fr freenode

Salon de chat - 14 utilisateurs - thème actuel: pour parler programmation de jeux en français
Catégorie: Salons de chat Jeux Développement France

Hequinox EpiKnet

Salon de chat - 1 utilisateurs - thème actuel: Hum.. Ici on parle de programmation, d'informatique, de jeux, un peu de tout ! Passez un petit coup, on ne mange pas :p

#programming freenode

Salon de chat - 745 utilisateurs - thème actuel: Community Chat & Programming/Computer Science Discussion | If you have a question, don't ask to ask, just ask! | Paste > 3 lines to a pastebin such as https://ideone.com | Channel rules: https://tinyurl.com/2lb-programming | Colour codes filtered again because idiets.
Catégorie: Salons de chat Programmation


compilers (8)   code (523)   agda (2)   scripting (71)  

<      1       2       3       4       5      >