Miro Spönemann
@sponemann.bsky.social
Head of @typefox.bsky.social. Passionate software engineer, guitar and bass player, and photographer.
Reposted by Miro Spönemann
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...
Read the full story and learn patterns and best practices for building semi-formal DSLs.
www.typefox.io/blog/turn-ai...
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.
www.typefox.io
October 10, 2025 at 4:05 PM
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...
Read the full story and learn patterns and best practices for building semi-formal DSLs.
www.typefox.io/blog/turn-ai...
Reposted by Miro Spönemann
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-...
monaco-languageclient v10 is here! Now a complete toolbox for editor-centric web apps, not just LSP integration.
www.typefox.io/blog/monaco-...
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.
www.typefox.io
September 25, 2025 at 12:16 PM
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-...
monaco-languageclient v10 is here! Now a complete toolbox for editor-centric web apps, not just LSP integration.
www.typefox.io/blog/monaco-...
Reposted by Miro Spönemann
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
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
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.
www.typefox.io
September 25, 2025 at 11:19 AM
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
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
Reposted by Miro Spönemann
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.
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.
www.npmjs.com
September 19, 2025 at 3:06 PM
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.
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.
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...
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...
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!
www.typefox.io
July 31, 2025 at 1:46 PM
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...
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...
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...
Check out the full announcement by Insa & Johannes:
www.typefox.io/blog/typir-i...
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...
www.typefox.io
June 10, 2025 at 1:05 PM
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...
Check out the full announcement by Insa & Johannes:
www.typefox.io/blog/typir-i...
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!
We finally wrote it up. Curious what you think!
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...
www.typefox.io/blog/boost-y...
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.
www.typefox.io
May 26, 2025 at 12:58 PM
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!
We finally wrote it up. Curious what you think!
Reposted by Miro Spönemann
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...
www.typefox.io/blog/boost-y...
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.
www.typefox.io
May 23, 2025 at 4:30 PM
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...
www.typefox.io/blog/boost-y...
Reposted by Miro Spönemann
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
Download and read our free white paper today! hubs.la/Q030ntR50
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.
hubs.la
May 21, 2025 at 9:07 AM
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
Download and read our free white paper today! hubs.la/Q030ntR50
Reposted by Miro Spönemann
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...
Read all about the fusion of DSLs and LLMs here: typefox.io/blog/langium...
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.
typefox.io
April 17, 2025 at 7:58 AM
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...
Read all about the fusion of DSLs and LLMs here: typefox.io/blog/langium...
Reposted by Miro Spönemann
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...
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...
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.
github.com
April 1, 2025 at 6:47 AM
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...
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...
Reposted by Miro Spönemann
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
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
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
github.com
April 1, 2025 at 7:21 AM
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
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
Reposted by Miro Spönemann
Discover the projects in the #EclipseCloudDevTools ecosystem and how they foster innovation in #clouddevelopment by reading our white paper: hubs.la/Q030nxY10
March 20, 2025 at 2:36 PM
Discover the projects in the #EclipseCloudDevTools ecosystem and how they foster innovation in #clouddevelopment by reading our white paper: hubs.la/Q030nxY10
Reposted by Miro Spönemann
📢 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
📍 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
March 7, 2025 at 10:46 AM
📢 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
📍 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
Reposted by Miro Spönemann
✨ 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
Read more in this article by @sponemann.bsky.social: hubs.la/Q034tsQj0
February 17, 2025 at 12:39 PM
✨ 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
Read more in this article by @sponemann.bsky.social: hubs.la/Q034tsQj0
Reposted by Miro Spönemann
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/
Enjoy!
Take the short-cut directly to the source code: github.com/TypeFox/typir
Also check out our blog: www.typefox.io/blog/
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
github.com
December 25, 2024 at 1:22 PM
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/
Enjoy!
Take the short-cut directly to the source code: github.com/TypeFox/typir
Also check out our blog: www.typefox.io/blog/
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...
Typir can be used together with Langium to implement type inference and type checking for a domain-specific language.
github.com/TypeFox/typi...
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
github.com
December 20, 2024 at 8:05 PM
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...
Typir can be used together with Langium to implement type inference and type checking for a domain-specific language.
github.com/TypeFox/typi...
Reposted by Miro Spönemann
🎉 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...
www.typefox.io/blog/?catego...
TypeFox Blog
Browse our open source knowledge base: articles, videos and news from the TypeFox team.
www.typefox.io
December 19, 2024 at 3:42 PM
🎉 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...
www.typefox.io/blog/?catego...
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...
www.youtube.com/watch?v=G2qA...
Crafting Domain Specific Languages - A Practical Guide - OCX 2024
YouTube video by Eclipse Foundation
www.youtube.com
December 11, 2024 at 7:30 AM
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...
www.youtube.com/watch?v=G2qA...
Hello, Bluesky! Nice to meet you.
December 11, 2024 at 7:26 AM
Hello, Bluesky! Nice to meet you.