Search results for server:tchncs.de - Page 36

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.

Info test groupRoom

#infortelgroup:tchncs.de

tech

2tchncs.de

Loading search results…

Most relevantMost members

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

Info test groupRoom

#infortelgroup:tchncs.de

tech

2tchncs.de

ЧАТ общий3Room

#чат_общий:tchncs.de

Группа новая

2RUtchncs.de

EdgesRoom

#edges:tchncs.de

2tchncs.de

#michaelnr0h-community:matrix.orgSpace

#michaelnr0h-communitymatrixorg:tchncs.de

2tchncs.de

Gesprächs-Lounge 1Room

#gespraechs-launge1:tchncs.de

2DEtchncs.de

G bbbvgSpace

#g-bbbvg:tchncs.de

2tchncs.de

Touhou Project IndonesiaSpace

#touhouprojectID:tchncs.de

2tchncs.de

IDEARoom

#idea:tchncs.de

Публикация различных идей.

2RUtchncs.de

Тестовая 1Room

#test-1:tchncs.de

Тема 1

2tchncs.de

JavaRoom

#java:tchncs.de

It's about software development, not coffee.

2tchncs.de

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

Kínai magyar suli 4bRoom

#Kinamagatveri:tchncs.de

2tchncs.de

Mimic3TTSEngineWrapper AppSpace

#mimic3ttsenginewrapper-app:tchncs.de

Android TTS Engine wrapper around the Mimic3 webserver

2tchncs.de

espace_taharSpace

#espace_tahar:tchncs.de

2tchncs.de

Голосовой 1Room

#golos:tchncs.de

2RUtchncs.de

Post-KrisisSpace

#post-krisis:tchncs.de

2tchncs.de

KarlsruheSpace

#karlsruhe:tchncs.de

2tchncs.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

Ne diyonRoom

#ostanknkmrandom:tchncs.de

2tchncs.de

Public Space

#public-:tchncs.de

2tchncs.de

0Space

#0767ythuojk:tchncs.de

2tchncs.de

JulianoxFelipeRoom

#julianoirmao:tchncs.de

contato

2tchncs.de

Announcements| Alumns at Hack Club (Alumni Society)Room

#hackclub-alumni-news:tchncs.de

2ENtchncs.de

off-topicRoom

#off-topic/aleksi:tchncs.de

off

2tchncs.de

sdsfRoom

#sdfsfsdf:tchncs.de

sdsfsdfs

2tchncs.de

FOSSCETSpace

#fosscet:tchncs.de

Matrix space for FOSSCET.

2tchncs.de

2026001Room

#2026001:tchncs.de

2tchncs.de

lalalaRoom

#test12311111111111: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

This is a demospaceSpace

#this-is-a-demospace:tchncs.de

It's just a demo space.

2tchncs.de

Cup'n Plate GamesRoom

#cupnplategames:tchncs.de

Discuss about Block Around, Warzone 2100 Battleplan, Minetest mods and other stuff from https://www.cupnplategames.com

2tchncs.de

PreviousPage 36Next

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