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.

rm-rfRoom

#rm-rf:tchncs.de

All about https://codeberg.org/rm-rf/

2tchncs.de

Loading search results…

Most relevantMost members

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

rm-rfRoom

#rm-rf:tchncs.de

All about https://codeberg.org/rm-rf/

2tchncs.de

FreeCADSpace

#freecad:tchncs.de

Community Chat for the FreeCAD Project

2tchncs.de

NyarchLinuxRoom

#nyarchlinux:tchncs.de

2tchncs.de

VereinRoom

#khcfdnm:tchncs.de

2tchncs.de

Announcements| Alumns at Hack Club (Alumni Society)Room

#hackclub-alumni-news:tchncs.de

2ENtchncs.de

teleSpace

#tele:tchncs.de

2tchncs.de

Pragma Universe 🔆Space

#pragma-universe-:tchncs.de

Rund um Pragma Solution | www.pragma-solution.com | IT Services und PC Support, Hard- & Software, Cloud Services, E-Mail Archivierung, Hosting, Homepages

2DEtchncs.de

espace_taharSpace

#espace_tahar:tchncs.de

2tchncs.de

JavaRoom

#java:tchncs.de

It's about software development, not coffee.

2tchncs.de

@sanya221:tchncs.deSpace

#sanya221tchncsde:tchncs.de

2tchncs.de

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

HomeOfficeRoom

#skw-homeoffice:tchncs.de

2tchncs.de

AllgemeinwissenRoom

#Allgemeinwissen:tchncs.de

2DEtchncs.de

CopyQRoom

#copyq:tchncs.de

i love copyq.readthedocs.io

2tchncs.de

This is a demospaceSpace

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

It's just a demo space.

2tchncs.de

Sub-Space-2Space

#sub-space-2:tchncs.de

2tchncs.de

Post-KrisisSpace

#post-krisis: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

JulianoxFelipeRoom

#julianoirmao:tchncs.de

contato

2tchncs.de

nextgen_safecomRoom

#nextgen_safecom:tchncs.de

Sicher kommunizieren in Zeiten von Tracking 4.0

2DEtchncs.de

test161Room

#test161:tchncs.de

2tchncs.de