| 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 |
53 |
| DALnet |
#indosex |
«¤»Y«¤»§«¤»Y«¤»§«¤»Y«¤»§«¤» Welcome to #IndoSex «¤»§«¤»Y«¤»§«¤»Y«¤»§«¤»Y«¤» |
53 |
| Libera.Chat |
#xiph |
Xiph.Org administrative channel | https://gitlab.xiph.org/ |
53 |
| DALnet |
#gayhumiliation |
Welcome to #gayhumiliation, so come in and join in |
53 |
| DALnet |
#chatfriend |
¦|¦|¦|¦|¦|¦| Welcome to #chatfriend |¦|¦|¦|¦|¦|¦ “Everything is negotiable. Whether or not the negotiation is easy is another thing.” — Carrie Fisher |
53 |
| Undernet |
#rebelyell |
|
53 |
| Libera.Chat |
#tor |
Unofficial Tor discussion channel | Official channel is #tor on OFTC https://oftc.net/ | FAQ: https://support.torproject.org/ | It's 'Tor', not 'TOR' | https://libera.chat/guides/connect#accessing-liberachat-via-tor | irc.libera.chat -> libera75jm6of4wxpxt4aynol3xjmbtxgfyjpu34ss4d7r7q2v5zrpyd.onion | onion.torproject.org -> xao2lxsmia2edq2n5zxg6uahx6xox2t7bfjw6b5vdzsxi7ezmqob6qid.onion |
53 |
| Libera.Chat |
#wikimedia-cloud-admin |
☁️ https://etherpad.wikimedia.org/p/WMCS-2026-01-22 | Channel is logged at https://wm-bot.wmcloud.org/logs/%23wikimedia-cloud-admin/ | ping cteam | clinic duty: dhinus |
53 |
| IRCnet |
#sopot |
|
53 |
| DALnet |
#berlin |
|
53 |
| DALnet |
#asian |
|
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 |
| Undernet |
#campia |
#Campia Welcome And Have Fun Campia-Turzii ( https://campiaturzii.ro/ ) |
53 |
| Libera.Chat |
#startups |
Welcome to #startups - https://www.startupschool.org |
53 |
| Buzznet |
#buzznet |
We accept TOR via darkarmy.buzznet.ovh An account is required to connect: Tor & users need to authenticate to their services account using SASL ┌∩┐(◣_◢)┌∩┐ | irc.buzznet.ovh now use STS Redirection and block all NON ssl ports. sorry for any inconvenience! |
53 |
| Undernet |
#dublin |
Welcome to #Dublin ☘️ Chat, meetups & banter in the Fair City | Respect all, no spam | Weather: probably raining 🌧️ |
53 |
| IRC-nERDs |
#spacex |
This is the unofficial channel for SpaceX. | Next Launches: !launches spacex | https://www.spacex.com | https://reddit.com/r/spacex |
53 |
| Undernet |
#canada |
Welcome to Canada! - Bienvenue au Canada! |
53 |
| OFTC |
#debconf-hamburg |
irc meet: 19th January 1800 UTC | https://hamburg2026.mini.debconf.org/ | dock europe reserved: 20260504-20260511 |
53 |
| Undernet |
#berceni |
Bun venit pe #Berceni ( Fiecare raspunde de ban-ul lui.Nu Dati acces fara acordul meu by Berceni ) |
53 |
| DALnet |
#paraguay |
Welcome to #Paraguay @ DALnet |
53 |
| Libera.Chat |
##espanol |
¡Bienvenido! Canal de conversaciones, ayuda y consultas sobre el idioma español para humanos, hackers, zorros, sergales y musarañas | Diccionario: https://dle.rae.es/ | Netiqueta: http://eduteka.icesi.edu.co/articulos/Netiqueta | Cómo usar el traductor: .help translate | Está prohibido el spam y las pláticas políticas radicales |
53 |
| Libera.Chat |
#claws |
Claws Mail 4.3.1 Unleashed!! Chngnamh! | When asking for support, have patience while waiting for a response |
53 |
| Libera.Chat |
#moarvm |
Welcome to the main channel on the development of MoarVM, a virtual machine for NQP and Rakudo (https://moarvm.org). This channel is being logged for historical purposes. |
53 |
| DALnet |
#mirccafe |
¤||¤||¤ Welcome to #mirccafe ¤||¤||¤ |
53 |
| DALnet |
#dads |
Welcome to #dads, a channel for dads and the daughters that love them - - 16+ |
53 |
| Undernet |
#mp3country |
``%%,`%%,`%#Mp3CoUnTrY Has The Best Servers We have 17 Servers Sharing 7,848,439 Files %,`%%,`% ... |
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 |
#mp3servers |
A$AP Rocky|Zach Bryan|Madison Beer|They Might Be Giants|Sleaford Mods|Jessie J|Kreator|Dry Cleaning|Skrillex|21 Savage|JID |
53 |
| IRC4Fun |
#linux |
.: Latest versions :: Mainline: 6.13-rc6 :: Stable: 6.12.9 :: LTS: 6.6.71 ::::. |
53 |
| IRC-nERDs |
#alphabet |
All of those who use Alphabet products like Google, GMail, Bard or Android and want Alphabet news are welcome. | Alphabet Stock: !$ googl |
52 |
| Libera.Chat |
#fvwm |
FVWM, EWMH compliant window manager | website: fvwm.org | forums: https://github.com/fvwmorg/fvwm3/discussions | #fvwm FAQ: fvwm.org/Wiki/Irc/HashFvwmFAQ/ | Wiki: fvwm.org/Wiki | Please use fvwm3! | fvwm2 is not being developed | Wayland support: https://github.com/fvwmorg/fvwm3/discussions/1258 | Latest release: 1.1.4 (Nov, 2025) |
52 |
| Libera.Chat |
#exherbo |
https://exherbolinux.org/docs/gettingstarted.html | EAPI: https://is.gd/qgzh48 | ML: https://lists.sr.ht/~alip/exherbo-dev | No support without a complete build log | git format-patch --stdout -M -C -C -1 | wgetpaste -r | Workflow: https://is.gd/0IR6qB | systemd howto: https://is.gd/CWin9q | Using Gitlab: https://is.gd/rro9fw | Play the SydB☮x CTF: https://is.gd/zXRvQR |
52 |
| Libera.Chat |
#matterbridge |
|
52 |
| DALnet |
#georgia |
%,`%%,`%%,`%%, Welcome to #georgia `%%,`%%,`%`% %, |
52 |
| DALnet |
#rap |
the road to HaPPineSS is always under CoNSTrUCTioN fuck the police |
52 |
| DALnet |
#dalnet |
Welcome to #DALnet unofficial help and chat channel |
52 |
| DALnet |
#republik |
'Republik DALnet Ketik !start game scramble, !uno game UNO' --- SELAMAT TAHUN BARU 2026 |
52 |
| EvilNET |
#dominicanos |
Bienvenidos a #dominicanos |
52 |
| DALnet |
#chating |
Hello...Welcome to the Police 9-1-1 Hotline..." If you are obsessive-compulsive, press 1 repeatedly. If you are codependant, ask someone to press 2. If you are a multiple personality, press 3, 4, 5, and 6. If you are paranoid, we know who you are and we are tracing this call. If you are schizophrenic, a |
52 |
| Libera.Chat |
#avr |
AVRs and stuff | https://avrs.fi | http://www.engbedded.com/fusecalc/ | http://wormfood.net/avrbaudcalc.php |
52 |
| DALnet |
#chatnet |
Welcome to #ChatNet - Since '98 Enjoy |
52 |
| DALnet |
#serbia |
Welcome to #Serbia @ DALnet. |
52 |
| DALnet |
#shanghai |
[®] [®] [®] [®] [®] [®] [®] Welcome to #Shanghai! Have a nice stay and chat! Channel rules no adv/repeat/invite/CAPS/spam/swearing [®] [®] [®] [®] [®] [®] [®] |
52 |
| DALnet |
#american |
|
52 |
| DALnet |
#pakistanchat |
🌐 Welcome / خوش آمدید to #Pakistanchat 💬 | Urdu 🇵🇰 & English 🇬🇧 | Be Respectful 🙏 | No Spam 🚫 | Have Fun! 🎉 / گپ شپ سے لطف اٹھائیں! |
52 |
| Libera.Chat |
#sopel |
Welcome to #sopel, birthplace of Sopelunking! | Latest version: 8.0.4 | Website/Docs: https://sopel.chat/ | GitHub: https://git.io/sopel | Tell us your .version when asking for help | Keep questions in-channel; don't PM random people | Sopelurking welcome! |
52 |
| DALnet |
#prague |
Welcome to #Prague @ DALnet |
52 |
| IRCnet |
#otaniemi |
|
52 |
| Libera.Chat |
#opus |
IETF audio codec discussion | latest releases: opus 1.6.1, opus-tools 0.2, opusfile 0.12, libopusenc 0.3 |
52 |
