| 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 |
| Libera.Chat |
#barebox |
barebox bootloader - https://barebox.org/ IRC bridged to Matrix: https://app.element.io/#/room/#barebox:matrix.org |
54 |
| Rizon |
#worldchat |
Welcome to #WorldChat Enjoy your stay! |
54 |
| 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 |
54 |
| 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! |
54 |
| Undernet |
#liban |
Welcome to #Liban, LEBANON. |
54 |
| FreeUniBG |
#sex |
Welcome in channel #Sex - www.FreeUniBG.eu |
54 |
| Libera.Chat |
#overseers |
Sourceware Overseers Open Office Hours every second Friday of the month from 16:00 UTC to 17:00 UTC (but do feel free to ask questions any time) - https://sourceware.org/mission.html#organization |
54 |
| DALnet |
#dago |
=©= Selamat Datang di #Dago =©= |
54 |
| Undernet |
#campia |
#Campia Welcome And Have Fun Campia-Turzii ( https://campiaturzii.ro/ ) |
54 |
| DALnet |
#riau |
IndoZNC Welcome to #Riau Love life and Life will Love you | Cheap ZNC join #indoZNC |
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 |
##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 |
| 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 |
| 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 |
| DALnet |
#triviamania |
๑۩۞۩๑ ωєℓ¢σмє тσ #TriviaMania ๑۩۞۩๑ |
53 |
| DALnet |
#tasikmalaya |
★·.·´¯`·.·★ Selamat datang di Channel Tasikmalaya @ DALnet ★·.·`¯´·.·★ |
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 |
| 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 |
| 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 |
| 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 |
| QuakeNet |
#warriors |
Who are the warriors? we are the warriors! since 2004. |
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 |
#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 |
#qt-creator |
Bugs: http://bugreports.qt.io | See also: #qt #qt-quick https://wiki.qt.io/Online_Communities |
53 |
| Undernet |
#dubova |
Welcome to #Dubova Have a nice chat! |
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 |
##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 |
| 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 |
| 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 |
| 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 |
#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 |
| 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 |
| Undernet |
#berceni |
Bun venit pe #Berceni ( Fiecare raspunde de ban-ul lui.Nu Dati acces fara acordul meu by Berceni ) |
53 |
| DALnet |
#eggdrophelp |
🥚 Welcome to #EggdropHelp @ DALnet's Eggdrop-Help Premium Resource | LATEST! Stable release Eggdrop resource: https://www.eggheads.org/downloads/ 🥚 |
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 |
| Undernet |
#crazy |
I'll take crazy over stupid any day. |
53 |
| 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 |
| 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 |
| DALnet |
#makasar |
۩۞۩๑ Welcome To #Makasar @dalnet ๑۩۞۩๑ ¤ TAMAN SARI R.i.P @KraKatau / @Resists |
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 |
| 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 |
| DALnet |
#cewek |
Welcome to #cewek, ketik !start untuk bermain 10 in 1 Game, atau !scrambleon untuk bermain scramble. Untuk menemani harimu, yuk dengerin playlist di AwkDwe Radio : https://alhastream.com/p/awakdewe/ |
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 |
| 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 |
| DALnet |
#klsex |
Welcome to #klsex. |
53 |