Miro Spönemann's Avatar

Miro Spönemann

@sponemann

Head of @typefox.bsky.social. Passionate software engineer, guitar and bass player, and photographer.

35
Followers
30
Following
9
Posts
09.12.2024
Joined
Posts Following

Latest posts by Miro Spönemann @sponemann

Preview
Xtext, Langium, what next? What we’ve learned from building large-scale language tooling with Langium and Xtext, and a first glimpse at a new high-performance language engineering toolkit.

We’re already building what comes after Langium — and it’s not just the next release.

After years with Xtext and Langium, we’ve hit clear performance limits at scale. This article explains where they come from, and ends with a glimpse at what we’re working on next.

www.typefox.io/blog/xtext-l...

16.12.2025 14:52 👍 1 🔁 1 💬 0 📌 0
Collaborative Editing Across Web Applications and Theia-based IDEs
Collaborative Editing Across Web Applications and Theia-based IDEs YouTube video by Eclipse Foundation

The recording of my TheiaCon 2025 presentation is here:

www.youtube.com/watch?v=jk_P...

17.11.2025 11:14 👍 0 🔁 0 💬 0 📌 0
Preview
Turn AI Prompts into Web Apps using a Semiformal DSL In this post, we showcase SWAG: A semiformal DSL for generating web applications, as well as some patterns and best practices for building semiformal DSLs.

In their latest post, Soulaymen and Steven showcase SWAG, a semi-formal DSL for generating web applications.
Read the full story and learn patterns and best practices for building semi-formal DSLs.
www.typefox.io/blog/turn-ai...

10.10.2025 16:04 👍 2 🔁 2 💬 0 📌 0
Preview
A toolbox for editor-centric web applications monaco-languageclient version 10 contains all tools needed to create complete editor-centric web applications, and thus it goes beyond just being a library for LSP integration.

Build VS Code-like apps in the browser with ease!
monaco-languageclient v10 is here! Now a complete toolbox for editor-centric web apps, not just LSP integration.
www.typefox.io/blog/monaco-...

25.09.2025 12:16 👍 2 🔁 2 💬 0 📌 1
Preview
A toolbox for editor-centric web applications monaco-languageclient version 10 contains all tools needed to create complete editor-centric web applications, and thus it goes beyond just being a library for LSP integration.

It's been a while since I have written a blog-post. Finally it is here:
www.typefox.io/blog/monaco-...

The monaco-languageclient project is an Open Source Software success story and many thanks go to my co-maintainer github.com/CGNonofr

25.09.2025 11:19 👍 3 🔁 1 💬 0 📌 0

Finally, monaco-languageclient version 10 (www.npmjs.com/package/mona...) is available.

You now have all tools at hand to create editor-centric web applications utilizing one or many language clients to connect to language servers via the language server protocol with one package.

19.09.2025 15:06 👍 2 🔁 2 💬 1 📌 0
Preview
Langium 4.0 is released! Langium 4.0 is released! This release brings multi-reference support, infix operator rules, strict mode for Langium grammars, and more!

Langium 4.0 is out! 🚀

Highlights:
- Infix operator rules for clearer operator precedence
- Strict mode enforcing explicit types for more stable DSLs
- Multi‑target references for flexible cross‑links

Read more: www.typefox.io/blog/langium...

31.07.2025 13:46 👍 2 🔁 1 💬 0 📌 0
Preview
Announcing Typir Johannes and Insa present our new open source project Typir for type checking your language in the web. The stand-alone library provides default implementations for type checking as well as predefined...

Big news! 🎉 We just launched Typir, a new open-source library for implementing type systems. It's all about powerful, accessible tools for language development.

Check out the full announcement by Insa & Johannes:
www.typefox.io/blog/typir-i...

10.06.2025 13:05 👍 3 🔁 1 💬 1 📌 0

Over the past year, I’ve had a bunch of great conversations about LLMs and DSLs. It’s clear we’re onto something big—this combo really shines when it comes to making AI work in specific domains.

We finally wrote it up. Curious what you think!

26.05.2025 12:58 👍 1 🔁 1 💬 0 📌 0
Preview
Boost your AI apps with domain-specific languages We're pioneering a fundamental shift in how humans and AI interact by leveraging domain-specific languages that deliver unmatched precision and clarity where natural language fails.

We're pioneering semiformal AI communication through domain-specific languages—solving the precision and reliability challenges that natural language prompts struggle with. Our latest article details how language engineering transforms AI interaction. 🦊

www.typefox.io/blog/boost-y...

23.05.2025 16:30 👍 4 🔁 1 💬 0 📌 2
Preview
The Eclipse Cloud DevTools Ecosystem: Defining the Future of Cloud Native Software Development Learn more about our working group's vendor-neutral, community-based approach to cloud development, and our vision for the future.

See how innovative companies and their development teams benefit from participation in the Eclipse Cloud DevTools ecosystem.

Download and read our free white paper today! hubs.la/Q030ntR50

21.05.2025 09:07 👍 0 🔁 1 💬 0 📌 0
Preview
Langium AI: The fusion of DSLs and LLMs TypeFox presents Langium AI, a toolbox for building applications that leverage both LLMs and Langium DSLs. We explore its vision, challenges and solutions.

Exiting news! TypeFox presents Langium AI, a toolbox for building applications that leverage both LLMs and Langium DSLs.

Read all about the fusion of DSLs and LLMs here: typefox.io/blog/langium...

17.04.2025 07:58 👍 3 🔁 2 💬 0 📌 1
Preview
GitHub - eclipse-langium/langium: Next-gen language engineering / DSL framework Next-gen language engineering / DSL framework. Contribute to eclipse-langium/langium development by creating an account on GitHub.

How does Langium have only 790 stars? The project is amazing.

It lets you define a parser for a new language, with syntax checking diagnostics (intellisense UI) built into your IDE, and APIs for your own diagnostics (f.e. your own type checking).

Absolutely phenomenal.

github.com/eclipse-lang...

01.04.2025 06:47 👍 3 🔁 2 💬 0 📌 1
Preview
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web Typir is an open source library for type checking in the web - TypeFox/typir

How does Langium's Typir library have only 27 stars!? This has to be one of the most interesting advancement in language engineering!

It's a library for common patterns for defining the type checking mechanics of your own programming language, with IDE diagnostics.

github.com/typefox/typir

01.04.2025 07:21 👍 5 🔁 2 💬 0 📌 0
Post image

Discover the projects in the #EclipseCloudDevTools ecosystem and how they foster innovation in #clouddevelopment by reading our white paper: hubs.la/Q030nxY10

20.03.2025 14:36 👍 0 🔁 1 💬 0 📌 0
Post image

📢 Attending Embedded World 2025? We’ve got you covered! Claim your free visitor ticket with our code: ew25543243

📍 Join us at booth 4-554 in hall 4 to discover the latest from OpenHW Foundation, Eclipse ThreadX, SDV, ORC, Eclipse IDE E& Cloud DevTools.

Get your ticket: buff.ly/3EUADgb

07.03.2025 10:46 👍 1 🔁 1 💬 0 📌 0
Post image

✨ Eclipse Open Collaboration Tools (OCT) is open to all! Contribute, share feedback, and explore how it enhances team collaboration.

Read more in this article by @sponemann.bsky.social: hubs.la/Q034tsQj0

17.02.2025 12:39 👍 1 🔁 1 💬 0 📌 0
Preview
Optimise Development Team Collaboration With Eclipse Open Collaboration Tools The Eclipse OCT project provides libraries and tools for real-time collaboration in development environments, filling critical gaps for teams working remotely.

I contributed an article to the Eclipse Newsletter:

newsroom.eclipse.org/eclipse-news...

31.01.2025 07:15 👍 3 🔁 3 💬 0 📌 0
Preview
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web Typir is an open source library for type checking in the web - TypeFox/typir

Our open source stars shine with their new creation, a universal toolkit for creating language type systems. Now we make it available to the public.

Enjoy!

Take the short-cut directly to the source code: github.com/TypeFox/typir

Also check out our blog: www.typefox.io/blog/

25.12.2024 13:22 👍 3 🔁 2 💬 0 📌 0
Preview
GitHub - TypeFox/typir: Typir is an open source library for type checking in the web Typir is an open source library for type checking in the web - TypeFox/typir

Say hello to Typir, the new type system library for TypeScript ✨

Typir can be used together with Langium to implement type inference and type checking for a domain-specific language.

github.com/TypeFox/typi...

20.12.2024 20:05 👍 6 🔁 1 💬 0 📌 0
Preview
TypeFox Blog Browse our open source knowledge base: articles, videos and news from the TypeFox team.

🎉 Exciting news! Check out our latest videos from #OCX24 and #TheiaCon. Our team introduces #Typir, a type-checking library for the web, unveils the #OpenCollabTools project and provides a practical guide for crafting domain-specific languages with #Langium.

www.typefox.io/blog/?catego...

19.12.2024 15:42 👍 1 🔁 2 💬 0 📌 0
Crafting Domain Specific Languages - A Practical Guide - OCX 2024
Crafting Domain Specific Languages - A Practical Guide - OCX 2024 YouTube video by Eclipse Foundation

The recording of my OCX / EclipseCon 2024 presentation is there. It's an overview of various topics around the design and implementation of domain specific languages (DSLs).

www.youtube.com/watch?v=G2qA...

11.12.2024 07:30 👍 0 🔁 0 💬 0 📌 0

Hello, Bluesky! Nice to meet you.

11.12.2024 07:26 👍 2 🔁 0 💬 0 📌 0