## Use cases

* [Business](/for/business/)
* [Education](/for/education/)
* [Research](/for/research/)
* [Events and conferences](/for/events/)
* [Open source projects](/for/open-source/)
* [Communities](/for/communities/)

## Customer stories

### Business

* [iDrift AS company](/case-studies/idrift/)
* [GUT contact support agency](/case-studies/gut-contact/)
* [End Point Dev software consultancy](/case-studies/end-point/)
* [WindBorne startup](/case-studies/windborne/)
* [Semsee InsurTech startup](/case-studies/semsee/)
* [Atolio startup](/case-studies/atolio/)

### Education and research

* [Technical University of Munich](/case-studies/tum/)
* [University of California San Diego](/case-studies/ucsd/)
* [Lean theorem prover community](/case-studies/lean/)

### Open source and communities

* [Asciidoctor open-source community](/case-studies/asciidoctor/)
* [Rust language community](/case-studies/rust/)
* [Recurse Center](/case-studies/recurse-center/)
* [Rush Stack](/case-studies/rush-stack/)
