| Libera.Chat |
#isabelle |
Unofficial channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || isabelle_zulip bridges to https://isabelle.zulipchat.com/ which keeps logs. |
9 |
| OFTC |
#mch2022-roc |
MCH2022 Radio Operations Centre | roc@lists.mch2022.org | https://wiki.mch2022.org/Team:ROC |
9 |
| OFTC |
#i2p-chat |
I2P community off topic chatter and deep sleep chamber | I2P 0.9.23 released! | Multi-line pastes to http://pastethis.i2p | Report bugs at trac.i2p2.i2p | Other sites of interest: forum.i2p, plugins.i2p, id3nt.i2p |
9 |
| Libera.Chat |
#gentoo-lua |
|
9 |
| DALnet |
#ircrpg |
for live updates goto http://www.idlerpg.dev /msg IrcRPG help |
9 |
| Libera.Chat |
#win |
|
9 |
| Libera.Chat |
#kolab |
Welcome to Spring! | Latest stable: Kolab 16 -- now also for Buster, Focal go test | https://kolab.org | https://kolabnow.com | Winter is coming |
9 |
| Undernet |
#i&i |
|
9 |
| Libera.Chat |
#climagic |
|
9 |
| IRCnet |
#w |
|
9 |
| Libera.Chat |
#rockylinux-ops |
|
9 |
| IRCnet |
#i |
|
9 |
| DALnet |
#beast |
<><><>Welcome #beast @ DALnet <><><> | English or Bahasa Indonesia only |
9 |
| Libera.Chat |
#bdsm |
Nerdy kinksters – be nice unless asked not to. | Discussion and general banter here, play in #bdsm-darkroom. | Do NOT PM people uninvited. |
9 |
| Libera.Chat |
#tremulous |
Welcome to #tremulous on Libera || http://tremulous.net |
9 |
| OFTC |
#vboxger |
Bitte UTF8-Kodierung verwenden! --- VirtualBox 7.2.4 (und 7.1.14) jetzt verfügbar! --- Bugtracker: https://github.com/VirtualBox/virtualbox/issues --- Foren: https://forums.virtualbox.org/ --- FAQ: https://www.virtualbox.org/wiki/User_FAQ |
9 |
| Libera.Chat |
#opensuse-fr |
Bienvenue sur #opensuse-fr | openSUSE Leap 16.0 | http://fr.opensuse.org | Forum: https://www.alionet.org/forum.php | Aide SUSEhelp: !helpme | Factoids SUSEhelp: !search fr- | Un anti-pollution de chan: http://susepaste.org/ |
9 |
| Libera.Chat |
#svg |
|
9 |
| Libera.Chat |
#gitg-alumni |
|
9 |
| Libera.Chat |
#nix-lang |
|
9 |
| OFTC |
#archlinux |
Welcome to #archlinux @ OFTC! (non-official channel) archlinux.org | bbs.archlinux.org | wiki.archlinux.org | bugs.archlinux.org | aur.archlinux.org |
9 |
| Libera.Chat |
##conservative |
CONSERVATIVE >> conservative and chill, alternate worldviews welcomed albeit mocked relentlessly, a friend of https://grue.world, https://vocaroo.com/1m8xxsfiuc41, also starring: libertarians, https://beatexs.com/nl1pry3toh4c, wD9-djEuEjM, free tommy robinson |
9 |
| Libera.Chat |
##vr |
Virtual Reality | Subreddits: https://www.reddit.com/user/LjLies/m/vr | News: |
9 |
| EFnet |
#ska |
|
9 |
| Libera.Chat |
#nodecore |
Official IRC channel for NodeCore, game for Minetest | https://nodecore.mine.nu | Bridged to Discord https://discord.gg/NNYeF6f | Matrix #nodecore:matrix.org | Mention "@help" to alert admins |
9 |
| DALnet |
#jatim |
|
9 |
| OFTC |
#media-maint |
Use this channel only for media maintainership discussions. For everything else: #linux-media. Channel logs: https://linuxtv.org/irc/oftc/log/media-maint |
9 |
| Undernet |
#piatraneamt |
Bine Ati Venit la Piatra-Neamt ! ( https://www.facebook.com/fanPiatraNeamt/ ) |
9 |
| OFTC |
#xen-orchestra |
|
9 |
| Libera.Chat |
#gstreamer |
Moved to OFTC: please join #gstreamer on irc.oftc.net |
9 |
| Libera.Chat |
#mageia-mentoring |
Mentoring channel for Mageia RPM packagers - Feel free to ask any packaging question | Wiki: https://wiki.mageia.org/en/Becoming_a_Mageia_Packager | If the channel mode here isn't +r (only allowing registered users) then we use +m (meaning you can't talk unless someone voices you). In the latter case, please have patience or ping a channel operator in private. |
9 |
| Libera.Chat |
#opennms |
Dave's not here, man |
9 |
| Libera.Chat |
#monero-outreach |
|
9 |
| Libera.Chat |
#openrw |
http://openrw.org/ source: https://github.com/rwengine/openrw/ integration: https://travis-ci.org/rwengine/openrw |
9 |
| Undernet |
#princess |
|
9 |
| EFnet |
#gba |
|
9 |
| Zoite |
#worldchat |
Welcome To #WorldChat :) Multi Network Linking Project! URL: https://unifiedchat.net/internetwork-linking-project/ | Come in and say hi! (Active) |
9 |
| Undernet |
#albania |
Welcome to #Albania |
9 |
| DALnet |
#bandungku |
welcome to #bandungku ...kuy kebandung !!!! |
9 |
| IRCnet |
#cimiter0 |
|
9 |
| Libera.Chat |
##ohio |
Ohio social channel | All Things Ohio | News Feed Channel: ##ohio-news | Cleveland, Columbus, Cincinnati and: Akron, Alliance, Ashland, Athens, Canton, Chillicothe, Cuyahoga Falls, Dayton, Delaware, Dublin, Euclid, Findlay, Hamilton, Kent, Lorain, Mansfield, Parma, Toledo, Warren, Youngstown, Zanesville |
9 |
| IRCnet |
#r |
|
9 |
| Undernet |
#astronomy |
Welcome in our lives James Webb Space Telescope ( https://www.jwst.nasa.gov/ ) |
9 |
| IRCnet |
#katowice |
|
9 |
| Libera.Chat |
#netbeans |
Apache NetBeans IDE | http://netbeans.apache.org | NetBeans 17 released: https://tinyurl.com/2njtsj4r |
9 |
| DALnet |
#unitedstates |
Welcome To The #UnitedStates Enjoy Your Staying With Us |
9 |
| Libera.Chat |
#archlinux-botabuse |
|
9 |
| Libera.Chat |
#fuchsia |
Pink + Purple == Fuchsia (a new Operating System); https://fuchsia.dev/ | moved to irc.oftc.net #fuchsia - please join us there! | Code of Conduct: https://fuchsia.dev/CODE_OF_CONDUCT.md |
9 |
| Libera.Chat |
#euglug |
This sounds familiar. They did it in Superman III. |
9 |
| Libera.Chat |
#slackware-fr |
Forum francophone de Slackware : https://forum.slackware-fr.eu.org/ | floodez sur https://pastebin.slackware-fr.eu.org/ et pas sur le canal |
9 |