| Libera.Chat |
#lean |
The Libera Lean 4 Community | https://lean-lang.org | Paste (>3 lines) https://bpa.st/ or https://0x0.st | Mathlib4 docs: https://leanprover-community.github.io/mathlib4_docs/ | Please abide by the community guidelines https://leanprover-community.github.io/meet.html#community-guidelines |
21 |
| OFTC |
#ubuntu-asahi |
Ubuntu-Asahi development | Github: https://github.com/UbuntuAsahi | Logs: https://oftc.irclog.whitequark.org/ubuntu-asahi |
21 |
| Libera.Chat |
#prjcombine |
repo: https://github.com/prjunnamed/prjcombine/ | docs: https://prjcombine.org/ | logs: https://libera.catirclogs.org/prjcombine/ |
21 |
| Libera.Chat |
#savonet |
https://www.liquidsoap.info - Audio & Video Streaming Language |
20 |
| Libera.Chat |
##meshtastic |
|
20 |
| DALnet |
#القصيم |
<><><> Welcome to #القصيم <><><> |
20 |
| Undernet |
#ayuda-eggdrop |
Bienvenidos a #Ayuda-Eggdrop @ Undernet.org | Nueva versión de Eggdrop, la 1.10.1 - https://shorturl.at/xxCE8 |
20 |
| Undernet |
#ios |
Think different ( https://www.apple.com ) |
20 |
| Undernet |
#arges |
Bine ati venit pe canalul Municipiului Curtea de Arges! ( https://www.facebook.com/groups/curteadearges ) |
20 |
| KampungChat |
#uworld |
|
20 |
| EFnet |
#finance |
|
20 |
| Libera.Chat |
#syndicate |
The Syndicated Actor Model, Dataspaces, and Conversational Concurrency https://syndicate-lang.org/ | "Syndicate is the new Perl" -- ehmry |
20 |
| darkscience |
#politics |
Good-Faith discussion only, tensions may run hot but understand that if you're in this channel you have to be open and understanding; try learning about 'SteelManning': https://www.lesswrong.com/posts/FhH8m5n8qGSSHsAgG/better-disagreement - bad actors will be kicked and banned. |
20 |
| Libera.Chat |
#zrythm |
a highly automated and intuitive digital audio workstation - zrythm.org | Zrythm 1.0.0 is out | tickets -> https://gitlab.zrythm.org/zrythm/zrythm/-/issues | Experimental v2 builds available at https://forum.zrythm.org/t/zrythm-v2-builds-thread/439 |
20 |
| QuakeNet |
#linux.de |
Kanal unter neuem Management. Kernel 6.19-rc7 ist live. Es gilt weiterhin Horizontalsmileyverbot. |
20 |
| EFnet |
#oculus |
|
20 |
| Rizon |
#nba |
Welcome to #NBA || https://nba.com/games for schedule and scores |
20 |
| Libera.Chat |
#mixxx |
Mixxx DJ Software https://mixxx.org/ : Most Mixxx discussion happens on Zulip https://mixxx.zulipchat.com/ or the forums https://mixxx.org/forums/ |
20 |
| DALnet |
#calcutta |
Calcutta - City of happenings |
20 |
| IRCnet |
#z |
|
20 |
| Libera.Chat |
##learnpython |
Discussion about anything related to the Python programming language, or any other programming. Beginners are welcome. |
20 |
| Libera.Chat |
#kmymoney |
|
20 |
| KampungChat |
#mircscripts |
|
20 |
| HybridIRC |
#lahore |
[ PakistanChat.Net ] 🌐 Welcome / خوش آمدید to #lahore 💬 | Urdu 🇵🇰 & English 🇬🇧 | Be Respectful 🙏 | No Spam 🚫 | Have Fun! 🎉 / گپ شپ سے لطف اٹھائیں! 🔗 https://pakistanchat.net |
20 |
| Undernet |
#whitehat |
|
20 |
| Undernet |
#ilfov |
Bun venit pe #ilfov ( Distractie placuta ) |
20 |
| Undernet |
#hayalet |
Welcome |
20 |
| Libera.Chat |
#wikimedia-gs-internal |
Internal/private channel for Wikimedia global sysops and stewards. | No public logging. | https://meta.wikimedia.org/wiki/GS | GS Bot commands: https://gitlab.wikimedia.org/toolforge-repos/cabalbot |
20 |
| Libera.Chat |
#f3n-agas |
as@lists.f3netze.de | https://pad.f3netze.de/p/AGAS | https://nusenu.github.io/OrNetStats | Heute 19:30 AGAS Treffen https://pad.f3netze.de/p/AGAS |
20 |
| Libera.Chat |
#audio |
Audophile / Audio Fanatics Chat. Enjoy your stay! |
20 |
| Undernet |
#save |
welcome |
20 |
| Libera.Chat |
#surreylug |
Welcome to #surreylug - http://surrey.lug.org.uk/ | Curry and Beer at a time to be determined | Please do not touch therobert |
20 |
| OFTC |
#alpine-reproducible |
Reproducible Alpine Linux - https://tests.reproducible-builds.org/alpine/alpine.html |
20 |
| Libera.Chat |
#librecomputer |
Please check and post on hub.libre.computer for FAQ. IRC channel for developers and technical inquiries. |
20 |
| Undernet |
#baiamare |
Bine ati venit la Baia Mare (Maramures) ( www.baiamare.ro ) |
20 |
| Libera.Chat |
#gentoo-cluster |
|
20 |
| Rizon |
#8kun |
Welcome to #8kun | 8kun.top and jthnx5wyvjvzsxtu.onion via isitwetyet.com | "Hopefully it grows big." - Ron Watkins |
20 |
| Undernet |
#tundrairc |
|
20 |
| Undernet |
#baguio |
©©©WELCOME TO #BAGUIO! THE SUMMER CAPITAL OF THE PHILIPPINES!©©© ( http://www.geocities.ws/channelbaguio/ ) |
20 |
| Undernet |
#ircguide |
Welcome to #ircguide - Have a nice chat and enjoy your stay. IF you have a question just ask and an @oper will assist you. Type in *EN* Only in channel. |
20 |
| DALnet |
#soccer |
[GBL] Köln 1-0 Wolfsburg|[ISA] Lazio 3-2 Genoa|[SPD] Espanyol 1-2 Alavés| |
20 |
| DALnet |
#mesum |
★·.·´¯`·.·★ Welcome to #mesum @ DALnet ★·.·`¯´·.·★ :: Ketik !start untuk memulai game |
20 |
| Libera.Chat |
#valgrind-dev |
This is the place to discuss valgrind development - https://valgrind.org/ |
20 |
| Rizon |
#bible |
The Bible has answers! Study the Scriptures with free articles, maps, timelines and a wide range of unique Biblical resources. To visit our community join #Christian-Chat-Chalice or look at our website for more details https://www.christian-chat-chalice.com |
20 |
| IRCnet |
#bled |
ko vas j :D |
20 |
| DALnet |
#marina |
<><><> Welcome to #marina <><><> |
20 |
| Libera.Chat |
#exodus-privacy |
FR/EN speaking channel (Code of Conduct: https://exodus-privacy.eu.org/en/page/coc) – Prochaine réunion le 16 juillet à 20h30 ! |
20 |
| IRCnet |
#umbria |
|
20 |
| Undernet |
#cc |
|
20 |
| Libera.Chat |
#themanaworld |
https://www.themanaworld.org/ | This channel is for users; developers use #themanaworld-dev | in-game password resets https://forums.themanaworld.org/viewtopic.php?f=3&t=17737 |
20 |
