Search results for server:tchncs.de - Page 35

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.

responseRoom

#response:tchncs.de

2tchncs.de

Info test group

Loading search results…

Most relevantMost members

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

responseRoom

#response:tchncs.de

2tchncs.de

Info test group

Room

#infortelgroup:tchncs.de

tech

2tchncs.de

Flüchtlinge_Ukraine_DERoom

#fluechtlinge_ukraine_de:tchncs.de

Austausch von Informationen zwischen Flüchtlingen und Helfenden und untereinander

2DEtchncs.de

Ne diyonRoom

#ostanknkmrandom:tchncs.de

2tchncs.de

spiantatiSpace

#spiantati:tchncs.de

spiantatə

2tchncs.de

Test2Room

#6yb89iyb:tchncs.de

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

JavaRoom

#java:tchncs.de

It's about software development, not coffee.

2tchncs.de

EnRicHSpace

#enrich:tchncs.de

The European Robotics Hackathon: ENRICH

2tchncs.de

Touhou Project IndonesiaSpace

#touhouprojectID:tchncs.de

2tchncs.de

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

Kosy TeamRoom

#kosyteam:tchncs.de

Kerberos support, discussion and chat.

2tchncs.de

This is a demospaceSpace

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

It's just a demo space.

2tchncs.de

MithosRoom

#mithos:tchncs.de

http://mithos.mfxbe.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

Gesprächs-Lounge 1Room

#gespraechs-launge1:tchncs.de

2DEtchncs.de

rre6Room

#rre62:tchncs.de

2tchncs.de

FreeCADSpace

#freecad:tchncs.de

Community Chat for the FreeCAD Project

2tchncs.de