Search results for server:tchncs.de - Page 37

MatrixRooms.info by etke.cc

Stats Integrations Indexing Host your own

Advanced filters

Language

Server

Room type

Fuzzy match (typo-tolerant)

FiltersServer: tchncs.de

Loading search results…

MatrixRooms.info

Built by etke.cc, managed Matrix hosting that stays up.

Donate

[matrix] is a trademark of The Matrix.org Foundation. Use of this logo does not imply endorsement or affiliation. Learn more at matrix.org.

Advanced filters

Language

Server

Room type

Fuzzy match (typo-tolerant)

FiltersServer: tchncs.de

Most relevantMost members

Search MatrixRooms.info straight from your client app? Yes, you can. See the guide.

عRoom

#ع:tchncs.de

2tchncs.de

MithosRoom

Loading search results…

Most relevantMost members

Search MatrixRooms.info straight from your client app? Yes, you can. See the guide.

عRoom

#ع:tchncs.de

2tchncs.de

MithosRoom

#mithos:tchncs.de

http://mithos.mfxbe.de

2tchncs.de

Touhou Project IndonesiaSpace

#touhouprojectID:tchncs.de

2tchncs.de

شخصيRoom

##dddddttt:tchncs.de

2tchncs.de

Post-KrisisSpace

#post-krisis:tchncs.de

2tchncs.de

Test2Room

#6yb89iyb:tchncs.de

2tchncs.de

AdibaSpace

#adiba:tchncs.de

2tchncs.de

Тестовая 1Room

#test-1:tchncs.de

Тема 1

2tchncs.de

test161Room

#test161:tchncs.de

2tchncs.de

RulesRoom

#SmasnugRules:tchncs.de

Smasnug rules

2tchncs.de

Running your own community? etke.cc keeps the server alive so you don’t have to.

EnRicHSpace

#enrich:tchncs.de

The European Robotics Hackathon: ENRICH

2tchncs.de

@sanya221:tchncs.deSpace

#sanya221tchncsde:tchncs.de

2tchncs.de

ㄋ

ㄋsSpace

#s:tchncs.de

2tchncs.de

vegasRoom

#vegas:tchncs.de

2tchncs.de

Announcements| Alumns at Hack Club (Alumni Society)Room

#hackclub-alumni-news:tchncs.de

2ENtchncs.de

Rkcd_cafeRoom

#Rkcd_cafe:tchncs.de

2tchncs.de

Sozial-GuerillaSpace

#sozial-guerilla:tchncs.de

Der Matrix-Space für soziale Ideen und Lösungen. https://humhub.sozial-guerilla.de ist eine Für-Etwas-Plattform.

2DEtchncs.de

aaaRoom

#aaa:tchncs.de

2tchncs.de

lucs_echotestRoom

#lucs_echotest:tchncs.de

fubar

2tchncs.de

FOSSCETSpace

#fosscet:tchncs.de

Matrix space for FOSSCET.

2tchncs.de

Mimic3TTSEngineWrapper AppSpace

#mimic3ttsenginewrapper-app:tchncs.de

Android TTS Engine wrapper around the Mimic3 webserver

2tchncs.de

off-topicRoom

#off-topic/aleksi:tchncs.de

off

2tchncs.de

NaturwissenschaftenRoom

#Naturwissenschaftenlernen:tchncs.de

2DEtchncs.de

123Room

#123:tchncs.de

2tchncs.de

Info test groupRoom

#infortelgroup:tchncs.de

tech

2tchncs.de

espace_taharSpace

#espace_tahar:tchncs.de

2tchncs.de

NyarchLinuxRoom

#nyarchlinux:tchncs.de

2tchncs.de

Proof assistantsRoom

#ProofAssistants:tchncs.de

- Dependent type theory: Coq / Rocq, Lean, Agda, Nuprl, F*, Idris. - Higher-order logic: Isabelle/HOL, HOL4, HOL Light, PVS. - Set-theoretic or foundational systems: Mizar, Metamath. - Logical frameworks: Twelf, Beluga, Dedukti. - Program-verification systems: Dafny, Why3, VeriFast, VST, Frama-C. - Mostly automated provers: ACL2, Z3, CVC5, Vampire, E, SPASS.

2ENtchncs.de

Quetsch-BlablaRoom

#quetsch-blabla:tchncs.de

Bienvenue sur le chat (Miaou) de la Quetsch – Restez courtois, pas d’insultes, pas de spam, respectez les autres. Bonne discussion !

2FRtchncs.de

AllgemeinRoom

#267dhkll:tchncs.de

2tchncs.de

PreviousPage 37Next

Search results for server:tchncs.de - Page 37 | MatrixRooms.info