Source: https://seerepo.com/r/eclipse-theia/theia
Markdown source: https://seerepo.com/r/eclipse-theia/theia.md
Description: eclipse-theia/theia is a TypeScript repo with 648,258 lines written.

# What's inside eclipse-theia/theia

eclipse-theia/theia is a TypeScript repo with 648,258 lines written. theia is built with Electron, React, Express, and vhost and uses Anthropic, OpenAI, Hugging Face, and MCP.

Its description on GitHub: “Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.”

TypeScript · EPL-2.0 · 21,738 stars · GitHub: https://github.com/eclipse-theia/theia

Read on November 5, 2026, at commit 30a5482.

## More on this repo

- [What is theia built with?](https://seerepo.com/r/eclipse-theia/theia/built): theia is built with Electron, React, Express, and vhost and uses Anthropic, OpenAI, Hugging Face, and MCP.
- [How much of theia did AI write?](https://seerepo.com/r/eclipse-theia/theia/ai): No AI tool signed any of the 8,868 commits of theia.

## In figures

- 648,258 lines written: The ones people and agents wrote: product, tests, schemas and tooling. Generated code doesn’t count.
- 2,891 files: The same as the lines: product, tests, schemas and tooling. What’s generated doesn’t count.
- 773 test files: The files that test the code.
- 33 technologies: Each service with the file and line that prove it.

SeeRepo read the facts in its code and kept none of it. AI only helps sort its packages and folders by their names, and never sees its code.

## Frequently asked questions

### What is eclipse-theia/theia?

eclipse-theia/theia is a TypeScript repo with 648,258 lines written. Its description on GitHub: “Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.”

The proof: [its page on GitHub](https://github.com/eclipse-theia/theia)

### What is theia built with?

theia is built with Electron, React, Express, and vhost and uses Anthropic, OpenAI, Hugging Face, and MCP.

The proof: [each service with its file and line](https://seerepo.com/r/eclipse-theia/theia/built)

### What license does theia have?

theia is released under the EPL-2.0 license.

The proof: [its page on GitHub](https://github.com/eclipse-theia/theia)

### How many stars does theia have on GitHub?

theia had 21,738 stars on GitHub on November 5, 2026.

The proof: [its page on GitHub](https://github.com/eclipse-theia/theia)

## Add this badge to your README

It links to this page and updates itself each time SeeRepo reads the repo.

```markdown
[![eclipse-theia/theia on SeeRepo](https://seerepo.com/badge/eclipse-theia/theia.svg)](https://seerepo.com/r/eclipse-theia/theia?de=insignia)
```

## What is your repo built with?

Any public repo, with no account: https://seerepo.com/r/owner/repo/built, with the owner and name it has on GitHub.