IRC Driven

#2751

##hott

10

Homotopy Type Theory and Univalent Foundations | Book: http://homotopytypetheory.org/book/ | Code: http://homotopytypetheory.org/coq/ | Blog: http://homotopytypetheory.org

#2752

#gnucash

10

#2753

#wikipedia-it-vandalism

10

Canale antivandalismo di http://it.wikipedia.org | Per informazioni: #wikipedia-it | Canale di servizio | Chan di soli feed, per off topic #wiki-it-ot | http://it.wikipedia.org/wiki/Speciale:AbuseFilter/history | Guida comandi wMarco27Bot: http://tinyurl.com/wmarco27bot

#2754

#themanaworld-irc

10

Welcome to The Mana World's unbridged IRC channel. For our main channel see #themanaworld and for development see #themanaworld-dev but be advised that this is the only channel without a Discord bridge.

#2755

#centos-mirror

10

CentOS Mirror List https://www.centos.org/download/mirrors | CentOS Mirror Status: http://mirror-status.centos.org | Currently Maintained Releases: 7.9.2009 & 8-Stream. For CentOS Stream 9 see mirrormanager: https://admin.fedoraproject.org/mirrormanager/mirrors/CentOS

#2756

##hackerspace-cl

10

hackerspaces chile

#2757

#macaronic

10

private channel of purpleidea

#2758

#appschleuder

10

#2759

#feral

10

Use ##feral (for now)

#2760

#archlinux-mx

10

Comunidad de Arch Linux México. | Sitio web: https://archlinux.mx | Telegram: https://t.me/archlinuxmx

#2761

#knightos

10

https://knightos.org | Open source calculator firmware and related projects | Please be patient, it may take some time for someone to see your questions

#2762

#archhurd

10

A port of The Hurd to the pacman package manager || https://archhurd.org || Please direct general Hurd questions to #hurd

#2763

#canerd

10

friendship is magic, so are blinkenights | Politics in #canerd-poli, por-favor

#2764

##zoomers

10

IRC chat for young people [oxymoron]. | Be kind and respectful to your fellow youths. | #PokemonGoToThePolls #HowDoYouDoFellowKids | The trucks will arrive shortly.

#2765

#hacksoc

10

https://hacksoc.org :: Official channel for HackSoc - A computer science society based at the University of York :: Read the rules: https://www.hacksoc.org/coc.html

#2766

#ara

10

ARA Records Ansible and makes it easier to understand and troubleshoot | Website: https://ara.recordsansible.org | Code: https://codeberg.org/ansible-community/ara | Changelog: https://ara.readthedocs.io/en/latest/changelog-release-notes.html | Mastodon: https://fosstodon.org/@ara

#2767

#chinese

10

祝各位新春快乐身体健康合家幸福！Happy Chinese New Year!

#2768

#wekan

10

https://wekan.fi

#2769

#openrw

10

http://openrw.org/ source: https://github.com/rwengine/openrw/ integration: https://travis-ci.org/rwengine/openrw

#2770

#webkit

10

#2771

#ocp

10

OpenCubicPlayer :: This is a slow channel, if you ask a question, don't expected immediate answers :: FreeBSD -> audio/ocp :: https://stian.cubic.org/project-ocp.php :: original project -> http://www.cubic.org/player/

#2772

##chat-ops

10

Welcome to ##chat-ops | Please be patient and wait for a response from operators. If you are not waiting for a response, do not idle in this channel. /PART | Rules: https://pastebin.com/raw/ntTcx2xb | ##chat requires registered nicks, reference: /msg NickServ HELP REGISTER

#2773

#wikimania

10

#2774

#deno

10

#2775

#sugar

10

Sugar -- The constructionist learning environment | We need YOU! http://join.sugarlabs.org/ | Large pastes here: https://paste.benpro.fr/

#2776

#wikipedia-zh-acg

10

#2777

#salix

10

Linux for the lazy Slacker. Don't say hello and don't ask to ask, just ask. And be patient! If you don't get a reply soon, you can post in the forums: http://forum.salixos.org. Paste long pieces of text in https://dpaste.de

#2778

#gnulinuxindia

10

Welcome to GLI! Read more: https://gnulinuxindia.sh

#2779

#rogerradio

10

ROGERradio///ROGERvision ® 24/7 Radio/Video Stream ® 320k/128k/64k Shoutcast @ https://tinyurl.com/ROGERradio ® ODYSEE stream @ https://tinyurl.com/ROGERvision ® Request Line !OPEN! ® Type $help for more information ® Powered by Super Sexy Roger brand DSP ® electronic, hiphop, chiptunes, drumnbass, metal, indie, music, radio, video, streaming, cryptocurrency, gambling

#2780

#inetcc

10

International Network of Classic Computers >> Project discussion and technical support >> NEW Gemini server online! gemini://retro.inetcc.org/

#2781

#euglug

9

Puritans: ruining everything since 1629

#2782

#isabelle

9

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.

#2783

#facil

9

FACIL, pour l'appropriation collective de l'informatique libre : https://facil.qc.ca/ | Nouveau Forum : https://forumsdulibre.quebec/ | Liste des événements à venir : http://agendadulibre.qc.ca

#2784

#fedora-test-day

9

Fedora 38 CoreOS Test Week: http://fedoraproject.org/wiki/Test_Day:Fedora_38_CoreOS | Fedora 38 Upgrade Test Day: http://fedoraproject.org/wiki/Test_Day:2023-03-28_F38_Upgrade_Test_Day | Join the Google Meet: https://meet.google.com/dsb-wixf-kqk

#2785

##hat-collector

9

Bot status: DOWN - looking for adoption, email L235

#2786

#galliumos

9

New and Improved!

#2787

#powder-saves

9

See new and updated TPT saves as they happen || https://powdertoythings.co.uk/Powder/Saves/Published.html || https://powdertoy.co.uk/Browse.html

#2788

#isobeef

9

404

#2789

#gah

9

welcome!

#2790

#dragonflybsd

9

The official DragonFly BSD IRC channel is on EFnet. See https://www.dragonflybsd.org/mailinglists/ for more information and for alternate support options.

#2791

#ubuntu-za

9

Ubuntu South Africa https://ubuntu-za.org | Logs: http://irclogs.ubuntu.com | pastebin: https://bin.snyman.info | picpaste: http://pasteboard.co

#2792

#purr

9

#2793

##huffaz

9

IaaaS (Inhalant Abuse as a Service) | “yo, got drogz?”

#2794

#osarch

9

Open source architecture channel: https://osarch.org - Note that messages are bridged from Matrix using osarchbot. Currently ~250 users connected on Matrix.

#2795

#pelican

9

#2796

#certbot

9

Unofficial channel, you can ask help and wait :) | Peace ☮

#2797

#chatons

9

Espace possible d'échange des C.H.A.T.O.N.S. >>Canal non principal<< Privilégier le Forum officiel : https://forum.chatons.org/ | Mastodon: https://framapiaf.org/@ChatonsOrg | Mobilizon: https://mobilizon.fr/@chatons

#2798

#qtwebkit

9

#2799

#wikimedia-es

9

#2800

#hambsd

9

Hamateur Radio for OpenBSD (and other BSDs, I guess, if you like) :: https://hambsd.org/