iiinova — where your digital self keeps evolving

Reposted by Daniel Dietrich

TypeFox @typefox.bsky.social · 10/10/2025

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...

typefox.io

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.

022

Daniel Dietrich @danieldietrich.bsky.social · 25/09/2025

Just a few lines of config to embed a VS Code-grade editor in a web app... Read Kai's article about our latest release!

020

Reposted by Daniel Dietrich

TypeFox @typefox.bsky.social · 07/07/2025

Launch real-time coding sessions with just a link. Now you can integrate collaborative editing directly into your own web apps, custom tools, or platforms. Our latest article explores how Eclipse OCT brings real-time collaboration exactly where you need it. www.typefox.io/blog/collabo...

typefox.io

Collaborative coding in the browser: The OCT Playground

OCT is the first open source framework to support live collaboration between IDEs and web apps—a strategic advantage for flexible cross-platform development.

002

Reposted by Daniel Dietrich

Miro Spönemann @sponemann.bsky.social · 26/05/2025

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!

011

Daniel Dietrich @danieldietrich.bsky.social · 23/05/2025

The possibilities of semiformal prompting are absolutely mind-blowing - I was genuinely awed by them. More articles with in-depth examples will follow!

010

Daniel Dietrich @danieldietrich.bsky.social · 17/04/2025

Exploring all the possibilities is so much fun. Join us on our journey!

010

Daniel Dietrich @danieldietrich.bsky.social · 25/12/2024

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/

github.com

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

032

Reposted by Daniel Dietrich

TypeFox @typefox.bsky.social · 19/12/2024

🎉 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...

typefox.io

TypeFox Blog

Browse our open source knowledge base: articles, videos and news from the TypeFox team.

012

Daniel Dietrich @danieldietrich.bsky.social · 05/12/2024

We are proud of TypeFox's latest contribution to the Eclipse Foundation, Open Collaboration Tools. OCT is now part of the Eclipse Cloud DevTools working group. Please read all about it in the actual press release. newsroom.eclipse.org/news/announc...

newsroom.eclipse.org

Eclipse Foundation Introduces Open Collaboration Tools (OCT) to Transform Remote Development

Contributed by Typefox, this open source initiative empowers real-time collaboration and extends Eclipse Theia IDE capabilities for distributed development teams.

011