| Libera.Chat |
#rocq |
The Rocq Prover (https://rocq-prover.org/) - 9.0.0 is out: https://rocq-prover.org/releases/9.0 - Zulip: https://rocq-prover.zulipchat.com/ - Discourse: https://discourse.rocq-prover.org/ - Wiki: https://github.com/rocq-prover/rocq/wiki |
55 |
| Libera.Chat |
#openldap |
OpenLDAP 2.5.20 & 2.6.10 released | LMDB 0.9.33 released | Don't ask to ask, just ask. And please stay connected. |
55 |
| DALnet |
#moscow |
Welcome to #Moscow DALnet. |
55 |
| Libera.Chat |
#christian-chat-chalice |
And we know that all things work together for good to those who love God, to those who are the called according to His purpose. (Romans 8:28 NKJV) https://is.gd/thatsmyking Our Website: https://christian-chat-chalice.com |
55 |
| IRCnet |
#otit.2025 |
|
55 |
| IRC4Fun |
#ahs |
American Horror Story - (Upcoming) Season 13 has an AMAZING cast: Jessica Lange, Kathy Bates, etc! |
55 |
| DALnet |
#estonia |
Welcome to #Estonia @ DALnet |
54 |
| Libera.Chat |
#xiph |
Xiph.Org administrative channel | https://gitlab.xiph.org/ |
54 |
| DALnet |
#teenchat |
®®®®®®®Welcome to #teenchat! Please follow channel rules NO adv/flood/CAPS/swearing/invite ®®®®®®® |
54 |
| Rizon |
#videogames |
All gaming discussions on Playstation, Xbox, Nintendo, PC/Linux/Mac/Steam, Mobile and VR for all gamers! | Discord: https://discord.gg/NYEN3wVfAy | Steam Community: https://steamcommunity.com/groups/videogames | Website: https://www.slyktech.com | Twitch: https://www.twitch.com/slykgames |
54 |
| EFnet |
#internet |
[eNigma] |
54 |
| DALnet |
#area69 |
Welcome to #area69. Check the drama at the door. We are 16+. Please type !rules for the rule. Above all, enjoy!! |
54 |
| Libera.Chat |
#vyos |
VyOS, the universal router. | https://vyos.net (community) and https://vyos.io (commercial services) |
54 |
| IRC-nERDs |
#spacex |
This is the unofficial channel for SpaceX. | Next Launches: !launches spacex | https://www.spacex.com | https://reddit.com/r/spacex |
54 |
| Libera.Chat |
##bsd |
General BSD-related channel. Major open-source BSD variants include FreeBSD, OpenBSD, NetBSD, DragonFly BSD and the OS X Darwin layer. Write software for *BSD, and tell us about it! |
54 |
| DALnet |
#paraguay |
Welcome to #Paraguay @ DALnet |
54 |
| Libera.Chat |
#lfs-support |
LFS 12.3 -- Welcome to LFS Support. Please read the FAQ and search mailing lists first. Use https://bpaste.net for pastes. Any deviations from the book shall be discussed immediately. Please ask your question and wait for an answer, don't expect a response straight away. Friendly chat/offtopic in #lfs. |
54 |
| Libera.Chat |
##atari |
FYI for folks in the midwest: https://indyclassic.org/ |
54 |
| IRCnet |
!7lpvxpolska |
Merry Christmas 2025 and Happy New Year 2026 |
54 |
| IRCnet |
#lodz |
|
54 |
| DALnet |
#androidirc |
Welcome to #AndroidIRC @ DALnet. Android12 Version release, miui12GloBaL and FuntouchOS12. You can ask operator /@ for further please ask your question on main channel and wait patiently. Visit our webpage http://ah.dalnet.info |
54 |
| DALnet |
#channel |
Coward can find 36 soLutions to his probLem, But he did not like anything onLy1 *EscapE* 4 |
54 |
| Undernet |
#exploit |
Fight or Flight reflex ! |
54 |
| Libera.Chat |
#kde-release-team |
Release schedule: https://community.kde.org/Schedules |
54 |
| Libera.Chat |
#gentoo-virtualization |
Gentoo virtualization: openstack, xen, vmware, qemu, kvm, virtualbox, vserver, openvz, slices, jails and containers on Gentoo systems | kvm and libvirt? enable the qemu use flag |
54 |
| EFnet |
#happiness |
https://files.catbox.moe/i74koz.jpg | http://65.ip-217-182-204.eu:8000 | https://files.catbox.moe/xu3y9i.png | https://files.catbox.moe/ztslgt.jpg |
54 |
| IRC4Fun |
#ircplus |
👋 Welcome to IRCplus+: Providing TheLounge & ZNC accounts, as well as IRCplus+ Networks! (PyLink) (https://ircplus.net/) | ➕ IRCplus+ users can also join #TheLounge or #ZNC for Support/Maintenance Notices |
54 |
| DALnet |
#gaysons4dads |
Welcome all to the room come in and enjoy. remember no nicks under +18 |
54 |
| Libera.Chat |
##weather |
Welcome to the weather channel! | Rules: https://is.gd/VIXt8A | List of all channels, https://is.gd/HaftWc | For current conditions type: .wx location | Please visit our sister channel(s), ##science & ##news |
54 |
| DALnet |
#jogjakarta |
#Jogjakarta memang Istimewa |
54 |
| Libera.Chat |
#miraheze |
Welcome to the main IRC channel of Miraheze, a free non-profit wiki farm | Status: Up | Channel publicly logged at: https://wm-bot.wmcloud.org/browser/index.php?display=%23miraheze | Participation in this channel is subject to our Code of Conduct: https://meta.miraheze.org/m/PA | 100% supported by users like you - Fundraiser at https://meta.miraheze.org/wiki/Fundraiser |
54 |
| DALnet |
#quiz |
ÎOÎOÎOÎO=========///\\\=========Welcome to #Quiz! status: online ÎOÎOÎOÎO=========///\\\========= |
54 |
| OFTC |
#debian-devel-br |
Canal Matrix: #debian-devel-br:matrix.debian.social | Reunião Semanal: Quintas às 19h em https://meet.debianbrasil.org.br/ |
54 |
| Libera.Chat |
#rpg |
Tabletop RPGs (Dungeons & Dragons, Pathfinder, Lancer, ...) || Baldur's Gate 3 - August 3 |
54 |
| Libera.Chat |
#jenkins |
Most people have moved to matrix https://matrix.to/#/#jenkinsci_jenkins:gitter.im |
54 |
| Libera.Chat |
#startrek |
|
54 |
| DALnet |
#belarus |
Welcome to #Belarus @ DALnet |
54 |
| Libera.Chat |
#flatpak |
📦 Flatpak 📦 - The future of application distribution | Semi-official support channel for IRC fans | Official channel on Matrix at #flatpak:matrix.org |
54 |
| Undernet |
#cyprus |
Kalo Neo Etos 2026 |
53 |
| Libera.Chat |
#chromium |
|
53 |
| Libera.Chat |
#cataclysmdda |
A detailed turn-based dwarf fortress-like zombie apocalypse alien invasion post-apocalyptic survival horror roguelike with top down (or optionally isometric) graphics || 0.H got released! https://github.com/CleverRaven/Cataclysm-DDA/releases/tag/0.H-RELEASE |
53 |
| DALnet |
#indosex |
«¤»Y«¤»§«¤»Y«¤»§«¤»Y«¤»§«¤» Welcome to #IndoSex «¤»§«¤»Y«¤»§«¤»Y«¤»§«¤»Y«¤» |
53 |
| Libera.Chat |
##covid-19 |
COVID-19 (SARS-CoV-2) coronavirus | Twitter feeds no longer available | Resources: https://github.com/ljl-covid/links | Zotero: https://is.gd/7UgsH2 | Logs: http://reisenweber.net/irclogs/libera/__covid-19/ | Bot too verbose? Try ##coronavirus |
53 |
| IRCnet |
#cybernet |
♫♪.ılılıll|̲̅̅●̲̅̅|̲̅̅=̲̅̅|̲̅̅●̲̅̅|llılılı.♫♪ \\'3lc0m3 to #cybernet | Imagine waking up and the last 30 years were just a bad dream |
53 |
| Undernet |
#berceni |
Bun venit pe #Berceni ( Fiecare raspunde de ban-ul lui.Nu Dati acces fara acordul meu by Berceni ) |
53 |
| Libera.Chat |
#wikimedia-vrt |
Wikimedia VRT response team | https://meta.wikimedia.org/wiki/VRT | https://vrt-wiki.wikimedia.org | Don't post private information here | Agents are voiced | Please volunteer at [[m:VRT/Volunteering]] | STATUS: UP | https://phabricator.wikimedia.org/T283400 |
53 |
| KampungChat |
#kedah |
Welcome to Official #KEDAH At KampungChat IRC Network, Thank You For Support This Channel |
53 |
| Libera.Chat |
##spacex |
[NEXT] 𝕏 🚀 NROL-105 - SLC-4E - Vandenberg SFB (17-Jan 04:18Z) 🚀 Starlink (6-100) - SLC-40 - Cape Canaveral SFS (18-Jan 22:04Z) 🚀 [Road closures] Type: !c / !closures (autoupdate) ☆ [Live] www.spacex.com/launches ☆ [Under Construction] SHIP 39-47 & B19-21 ☆ [Jobs] www.x.com/SpaceX/jobs |
53 |
| DALnet |
#prague |
Welcome to #Prague @ DALnet |
53 |
| DALnet |
#dalnet |
Welcome to #DALnet unofficial help and chat channel |
53 |
