| Libera.Chat |
#agda |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://tinyurl.com/sywtltt | https://1lab.dev |
54 |
| Undernet |
#huedin |
|
54 |
| Undernet |
#tenerife |
Happy New Year 2026 * Health and Peace * ! |
54 |
| IRC4Fun |
#linux |
.: Latest versions :: Mainline: 6.13-rc6 :: Stable: 6.12.9 :: LTS: 6.6.71 ::::. |
54 |
| Libera.Chat |
#julia |
A marvellous, high-level, high-performance, dynamic programming language | https://julialang.org |
54 |
| Libera.Chat |
##apocalypse |
The apocalypse happened 2021-06-16 07:27 GMT. RIP | This channel is bridged to Pissnet, and Libera (here) | JUMP IN THE PIT -- JOIN ##moshpit | See also: #bigfoss | siraben says beest is pretty? |
54 |
| DALnet |
#bali |
`%%, `%%, `%%, Welcome to #bali DALnet - For Game Type !GAME !UNO dalnet #bali - Ikut Berduka Atas Bencana Banjir di Sumut, Sumbar & Aceh ,%%` ,%%` ,%%` |
53 |
| 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 |
| SwiftIRC |
#rshelp |
https://rshelp.com | https://discord.gg/swiftirc | RS3: The Roadmap That Changes RuneScape Forever: https://rshelp.com/t/084e6 | OSRS: 25 Years of RuneScape: https://rshelp.com/t/27536 |
53 |
| IRC-nERDs |
#comics |
Welcome to #comics. For lovers of comics, mangas and any other drawn story art. Come on in and join us! |
53 |
| Undernet |
#canada |
Welcome to Canada! - Bienvenue au Canada! |
53 |
| Libera.Chat |
#claws |
Claws Mail 4.3.1 Unleashed!! Chngnamh! | When asking for support, have patience while waiting for a response |
53 |
| Undernet |
#linux |
Welcome to #linux ! Please visit - https://www.linux.org |
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 |
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 |
#islam |
السلام عليكم | Welcome to #islam Channel | 𝒯𝒽𝒶𝓃𝓀𝓈 𝒻𝑜𝓇 𝒶𝓁𝓁 𝓎𝑜𝓊𝓇 𝒮𝓊𝓅𝓅𝑜𝓇𝓉 𝓌𝒾𝓉𝒽 𝒾𝓈𝓁𝒶𝓂 |
53 |
| FreeUniBG |
#sex |
Welcome in channel #Sex - www.FreeUniBG.eu |
53 |
| Libera.Chat |
#startups |
Welcome to #startups - https://www.startupschool.org |
53 |
| Undernet |
#mp3quebec |
Bonne Année a tous!! Pentatonix:Nathalie Simard:Vincent Vallieres:Fabienne Thibeault:Vilain Pingouin:Michel Rivard:Les Trois Accords:JF Pauze:La Famille De |
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 |
| Libera.Chat |
#xiph |
Xiph.Org administrative channel | https://gitlab.xiph.org/ |
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 |
| Undernet |
#brasov |
Bine ati venit pe chanul #Brasov , va uram chat placut !!!! |
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 |
| IRCnet |
#sopot |
DEF CON 32 https://www.youtube.com/watch?v=MmpkfM8I33Q |
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 |
| 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 |
| DALnet |
#jogjakarta |
#Jogjakarta memang Istimewa |
53 |
| Libera.Chat |
#kde-release-team |
Release schedule: https://community.kde.org/Schedules |
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 |
| IRCnet |
#ovh |
|
52 |
| DALnet |
#2 |
Selamat Datang Di Channel #2 @DALnet - NO!: Invite/Spam/Repeat/CAPS/Flood/Adv/BadWord - Register Nick: /ns register <password> <email> - Cegah Spam: /mode <nick kamu> +RC - Have a nice chat & enjoy here! :) |
52 |
| 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 |
52 |
| Libera.Chat |
#flatpak |
📦 Flatpak 📦 - The future of application distribution | Semi-official support channel for IRC fans | Official channel on Matrix at #flatpak:matrix.org |
52 |
| Libera.Chat |
#pypy |
#pypy PyPy, the flexible snake https://pypy.org | IRC logs: https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end and https://libera.irclog.whitequark.org/pypy | the pypy angle is to shrug and copy the implementation of CPython as closely as possible, and staying out of design decisions |
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 |
| Libera.Chat |
#gnu-offtopic |
Off-topic chat for the GNU community | See https://gnu.org/server/irc-rules and https://gnu.org/philosophy/kind-communication | #gnu for discussions related to GNU development, GNU Project and the GNU GPL | Celebrate GNU 41 years by becoming an FSF member! https://fsf.org/join |
52 |
| Libera.Chat |
#chromium |
|
52 |
| IRC-nERDs |
#casino |
Welcome to the casino! | Texas Holdem = !holdem | BlackJack = ?blackjack | Uno = !unocmds | Hangman = !hangmanstart | Lotto = !lotto |
52 |
| DALnet |
#batang |
Welcome to Batang @DALnet |
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 |
| IRC-nERDs |
#tesla |
This is the unofficial channel for Tesla the AI/Tech company. | Tesla Stock: ^stock tsla | https://www.tesla.com | https://reddit.com/r/teslamotors |
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 |
| Libera.Chat |
#kde-matrix-support |
Usage and status of the KDE Matrix Homeserver & webchat.kde.org | For help using KDE Software try #kde:kde.org or https://discuss.kde.org |
52 |
| Undernet |
#idlezone |
Welcome to #Idlezone, We NEVER chat, have fun and be nice to each other! |
52 |
| Libera.Chat |
#vyos |
VyOS, the universal router. | https://vyos.net (community) and https://vyos.io (commercial services) |
52 |
| EFnet |
#hiphop |
pewpew |
52 |
| IRCnet |
#otaniemi |
|
52 |
| DALnet |
#semarang |
Dibuka lowongan SOP/AOP/HOP. Silahkan kirimkan lamaran Anda ke kalpin@pentest.id. Terima kasih. |
52 |