» IRC search  details

#sel4 freenode - Development Chat Room

Here you see a small report about channel #sel4, a chat room on IRC network freenode. This kind of report usually includes user statistics and topics of the last days and weeks, if the channel was registered before and its administrators didn't set its channel modes to private or secret. In addition you will find a webchat button below. Use that button to jump to irc2go.com and to join channel #sel4!


Related queries: opendaylight (24)   open source (285)   vagrant (3)   xcode (1)  



Chat room #sel4 on IRC network freenode was registered at 2016-10-27 and automically assigned to group Development Chat Rooms. Registration of this chat room was based on a large attendance.

#sel4 freenode - Graph about the amount of users during the last week
to, from topic
2018-06-22,
2018-01-10 
seL4 verified microkernel |​ Please EXPLICITLY ASK PERMISSION to cite or quote answers given in here |​ TIMEZONE MATTERS: Can only guarantee answers from 9am-5pm Sydney time |​ Quick-start guide https:/​/​wiki.​sel4.​systems/​Getting%20started |​ FAQ https:/​/​wiki.​sel4.​systems/​FrequentlyAskedQuestions |​ What is verification? https:/​/​sel4.​systems/​Info/​FAQ/​proof.​pml |​ Mailing list (very active)
2018-01-09,
2017-06-22 
seL4 verified microkernel |​ TIMEZONE MATTERS: Can only guarantee answers from 9am-5pm Sydney time |​ Quick-start guide https:/​/​wiki.​sel4.​systems/​Getting%20started |​ FAQ https:/​/​wiki.​sel4.​systems/​FrequentlyAskedQuestions |​ What is verification? https:/​/​sel4.​systems/​Info/​FAQ/​proof.​pml |​ Mailing list (very active) http:/​/​sel4.​systems/​pipermail/​devel/​ |​ Github https:/​/​github.​com/​seL4/​seL4



More Development Chat Rooms

#debian-browserify OFTC

139 users – 84 minutes ago – package nodejs tools like browserify/​webpack/​rolup/​babel.​ browserification is the process of adapting code written for nodejs to run on a browser.​ This may include combining modules to a single file or adding functionality only present in nodejs |​ Pre requisites https:/​/​www.​loomio.​org/​d/​LTpSdMuX/​debian-packaging-pre-requisites (gives you instructions to setup a development environment)
chat category: Debian Web Browsersnetwork: OFTC  –  irc2go: #debian-browserify

#znc freenode

1057 users – 84 minutes ago – ZNC 1.​7.​0: https:/​/​wiki.​znc.​in/​ChangeLog/​1.​7.​0 |​ https:/​/​znc.​in/​nightly |​ https:/​/​github.​com/​znc/​znc |​ Development at #znc-dev |​ don't randomly PM people
chat category: ZNCnetwork: freenode  –  irc2go: #znc

#minetest freenode

172 users – 84 minutes ago – Welcome to the official Minetest channel |​ Latest version: 0.​4.​17.​1 (2018-06-10) |​ General,​ player,​ and modder discussion is on-topic.​ If in doubt,​ post here |​ Responses may take a while,​ be patient |​ Rules: http:/​/​wiki.​minetest.​net/​IRC#Rules |​ Development: #minetest-dev |​ Server list: http:/​/​minetest.​net/​servers |​ IRC logs: http:/​/​irc.​minetest.​net/​minetest/​
network: freenode  –  irc2go: #minetest

#celery freenode

106 users – 84 minutes ago – Distributed Task Queue - Latest Version: 4.​2.​0 - http:/​/​celeryproject.​org |​ Development: http:/​/​github.​com/​celery |​ IRC Logs: https:/​/​botbot.​me/​freenode/​celery/​ |​ Mailing List: http:/​/​groups.​google.​com/​group/​celery-users |​ FAQ: http:/​/​docs.​celeryq.​org/​en/​latest/​faq.​html --> Please,​ don't ask to ask.​ No answer yet? Leave your twitter,​ email or create an issue on github.​
network: freenode  –  irc2go: #celery

  

 Top IRC networks 
   IRCnet
   Ø 31506
   EFnet
   Ø 18194
   Undernet
   Ø 17683
   QuakeNet
   Ø 16218
   Rizon
   Ø 15148
   OFTC
   Ø 13400
   Chatzona
   Ø 7820
   DALnet
   Ø 7464
   IRC-Hispano
   Ø 7030
   freenode
   non-competitive

Chat Directory Chat Directory
Asia Chat
Australia Chat
Europe Chat
India Chat
USA Chat
. . .

0.0628 seconds
© 1998-2018 netsplit.de  de    IRC Online Chat