| 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 |
| Rizon |
#thelounge |
Welcome to the lounge, please have a seat on the comfy sofa:) |
54 |
| Libera.Chat |
#opus |
IETF audio codec discussion | latest releases: opus 1.6.1, opus-tools 0.2, opusfile 0.12, libopusenc 0.3 |
54 |
| Undernet |
#liban |
Welcome to #Liban, LEBANON. |
54 |
| Libera.Chat |
#gentoo-weed |
All gentoo buds welcome! | Be mindful of what you say | No Bovine Excrement | Toke Safe! | Puffing Freely here since 2014! | !toke to pass to 1 fellow gentoo-weeder. :) |
54 |
| Undernet |
#canada |
|
54 |
| Rizon |
#worldchat |
Welcome to #WorldChat Enjoy your stay! |
54 |
| Libera.Chat |
#managarm |
Managarm support and on-topic chat channel | Be nice! | New blog post: https://managarm.org/2026/01/13/end-of-year-update.html | This channel is bridged with our Discord community | https://managarm.org | See other channels via /msg alis list managarm |
54 |
| KampungChat |
#m̺͆i̺͆s̺͆t̺͆a̺͆e̺͆v̺͆o̺͆8 |
|
54 |
| Libera.Chat |
#barebox |
barebox bootloader - https://barebox.org/ IRC bridged to Matrix: https://app.element.io/#/room/#barebox:matrix.org |
54 |
| Libera.Chat |
##cars |
this channel may potentially trigger seizures for stupid people. viewer discretion is advised | wigums at home: https://imgur.com/a/4aYU8gl | <Ximo> i got jungle fever leave me alone |
53 |
| IRC-nERDs |
#casino |
Welcome to the casino! | Texas Holdem = !holdem | BlackJack = ?blackjack | Uno = !unocmds | Hangman = !hangmanstart | Lotto = !lotto |
53 |
| Libera.Chat |
#lfs |
LFS offtopic chat and banter, friendly discussion for the LFS community outside the scope of support. LFS questions in #lfs-support. |
53 |
| Undernet |
#oradea |
Welcome To #Oradea ! ( Welcome back W - www.undernet.org/news/w-birthday-return ) |
53 |
| Libera.Chat |
##mac |
About & for users of Macs. For everything else, use ##mac-social | Pre-OSX stuff, also try #macgarden | Tahoe 26.2 (25C56) | Sequoia 15.7.3 (24G419) | Sonoma 14.8.3 (23J220) | Ventura 13.7.8 (22H730) | Ventura 13.7.8 (22H730) | Breaking NDA, warez, hackintosh, unsupported VMs = kickban |
53 |
| DALnet |
#nusantara |
Welcome to #Nusantara with Freedom comes with responsibility. Let's be responsible citizens and build a great nation, capital of East Kalimantan |
53 |
| Libera.Chat |
#claws |
Claws Mail 4.3.1 Unleashed!! Chngnamh! | When asking for support, have patience while waiting for a response |
53 |
| IRCnet |
#lodz |
|
53 |
| Libera.Chat |
#parabola |
Welcome, friend! - Parabola is a 100% free (as in freedom), labor of love, GNU/Linux distribution | Web: https://www.parabola.nu | Forum: https://labs.parabola.nu/projects/parabola-community-forum | Wiki: https://wiki.parabola.nu | Bug tracker: https://labs.parabola.nu | Email: https://lists.parabola.nu/mailman/listinfo/assist |
53 |
| DALnet |
#klsex |
Welcome to #klsex. |
53 |
| Libera.Chat |
#loss32 |
Main channel for the loss32 Win32/Linux initiative | https://loss32.org/ | See also #loss32-dev (might eventually be used for dev discussion once there's an actual release) |
53 |
| Libera.Chat |
#wikimedia-cloud-admin |
🦄🎉 https://etherpad.wikimedia.org/p/WMCS-2026-02-12 | Channel is logged at https://wm-bot.wmcloud.org/logs/%23wikimedia-cloud-admin/ | ping cteam | clinic duty: andrewbogott |
53 |
| Libera.Chat |
##dependent |
Martin-Löf intuitionistic type theory | https://archive-pml.github.io | https://github.com/dpndnt/library | https://tinyurl.com/sywtltt | <roconnor> I'm amazed anyone does anything cause everything is so hard to do. | <dolio> The 'real number' is not the thing you measure, it's the idealization of the process of making infinitely many, ever more precise measurements. |
53 |
| EFnet |
#hiphop |
pewpew |
53 |
| Libera.Chat |
#countervandalism |
Countervandalism Network | https://cvn.wmcloud.org | Status: OK | Help: say "!staff" + question | Voice request: https://w.wiki/JmR | Publicly logged: https://wm-bot.wmcloud.org/logs/%23countervandalism/ | Cloak request: (unavailable) | Server admin log: https://sal.toolforge.org/cvn |
53 |
| DALnet |
#femhumiliationsex |
BDSM 18+ Male Doms, female subs, Doms cap nicks, subs don't cap' |
53 |
| IRCnet |
#sopot |
DEF CON 32 https://www.youtube.com/watch?v=MmpkfM8I33Q |
53 |
| Libera.Chat |
#ircnow |
IRCNow: The Open Network (https://ircnow.org) - Type !help to learn about our free bouncers, shell accounts, VPNs, and email | Staff are voiced or Op'd |
53 |
| Undernet |
#u |
"U" |
53 |
| Undernet |
#crazy |
I'll take crazy over stupid any day. |
53 |
| DALnet |
#tasikmalaya |
★·.·´¯`·.·★ Selamat datang di Channel Tasikmalaya @ DALnet ★·.·`¯´·.·★ |
53 |
| DALnet |
#eggdrophelp |
🥚 Welcome to #EggdropHelp @ DALnet's Eggdrop-Help Premium Resource | LATEST! Stable release Eggdrop resource: https://www.eggheads.org/downloads/ 🥚 |
53 |
| Libera.Chat |
#searxng |
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled. https://github.com/searxng/searxng |
53 |
| Libera.Chat |
#fvwm |
FVWM, EWMH compliant window manager | website: fvwm.org | forums: 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: github.com/fvwmorg/fvwm3/discussions/1258 | Latest release: 1.1.4 (Nov, 2025) | Development will be slow in 2026 - please be patient. |
53 |
| DALnet |
#riau |
IndoZNC Welcome to #Riau Love life and Life will Love you | Cheap ZNC join #indoZNC |
53 |
| QuakeNet |
#idlerpg |
Hey, be welcome! :D To start playing this IdleRPGame: /msg IdleRPG REGISTER <char name> <password> <ability(b, w, p or r)> <char class> | Webpage: https://quakeirpg.abandoned-irc.net/commands.php | Chat/helpchannel: #irpghelp |
53 |
| Libera.Chat |
#gentoo-games |
https://wiki.gentoo.org/wiki/Project:Games | ask a question, wait for an answer | for wine/windows gaming, join #winehq, #gentoo-wine or https://forums.gentoo.org | for video/sound card help, try #gentoo or #gentoo-desktop |
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 |
| Libera.Chat |
#gameoftrees |
Game of Trees version control system - https://gameoftrees.org |
53 |
| Libera.Chat |
#calibre |
calibre E-book management (http://calibre-ebook.com). Inofficial user-to-user support channel, no devs here. Don't ask to ask. Just ask and stick around as we might not always be around. PDF conversion sucks? Can't be helped. PDF sucks. Canonical home of this room is #calibre:mailstation.de on Matrix, *not* Libera |
53 |
| 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 |
53 |
| DALnet |
#triviamania |
๑۩۞۩๑ ωєℓ¢σмє тσ #TriviaMania ๑۩۞۩๑ |
53 |
| DALnet |
#veteran |
Welcome to #Veteran@DALnet Welcome to the arrival of the month of Ramadhan 1444 H. May our sins be forgiven by Allah SWT in this month full of grace.. |
53 |
| Libera.Chat |
#data.se |
Ada Lovelace, Alan Turing, Charles Babbage, Bill Joy, Brian Kernighan, Dennis Ritchie, Grace Hopper, John von Neumann, Ken Thompson, Linus Torvalds, Vint Cerf, Tim Berners-Lee, Paul Mockapetris, Douglas Engelbart, Robert Kahn, Andy Bechtolsheim, Donald Knuth, Edsger Dijkstra |
53 |
| 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 |
53 |
| QuakeNet |
#warriors |
Who are the warriors? we are the warriors! since 2004. |
53 |
| EFnet |
#happiness |
https://files.catbox.moe/i74koz.jpg | http://65.ip-217-182-204.eu:8000 | https://i.imgur.com/hNJA5iG.jpg |
53 |
| Libera.Chat |
#lvm |
Discussions and Support of LVM2 (the Linux Logical Volume Manager) - https://www.sourceware.org/lvm2/ |
53 |
| Undernet |
#berceni |
Bun venit pe #Berceni ( Fiecare raspunde de ban-ul lui.Nu Dati acces fara acordul meu by Berceni ) |
53 |
| Libera.Chat |
##spacex |
[NEXT] 𝕏 🚀 Starlink (17-33) - SLC-4E - Vandenberg SFB (7-Feb 17:05Z) 🚀 Crew-12 - SLC-40 - Cape Canaveral SFS (11-Feb 11:01Z) 🚀 Starlink (17-34) - SLC-4E - Vandenberg SFB (11-Feb 14:07Z) 🚀 [Road closures] Type: !c / !closures ☆ [Live] www.spacex.com/launches ☆ [Under Construction] SHIP 39-47 & B19-21 ☆ [Jobs] www.x.com/SpaceX/jobs |
53 |
