Sign in

TypeFox

@typefox.bsky.social
31 followers 3 following 8 posts

typefox.io We help businesses and engineers to be more productive with cloud IDEs, language servers, visualizations and more.

PostsRepliesMedia
TypeFox @typefox.bsky.social · 20/05/2026
Daniel is starting something we're very excited about. Follow along! 🙌
000
Reposted by TypeFox
Tom Schindl @tomsontom.eurosky.social · 19/09/2025
Some RSD - bestsolution-at.github.io/rsd/ - news. In the last few weeks I improved our documentation viewer and it now shows REST informations - eg bestsolution-at.github.io/quti/api/#se... built on #langium by @typefox.bsky.social
API Documentation including REST informations
031
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
TypeFox @typefox.bsky.social · 25/09/2025
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-...
typefox.io
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.
022
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
TypeFox @typefox.bsky.social · 26/05/2025
We're introducing semiformal prompting: combining DSLs with natural language to achieve unprecedented precision in AI communication. For technical teams building production AI systems, this changes the game. www.typefox.io/blog/boost-y...
typefox.io
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.
000
TypeFox @typefox.bsky.social · 23/05/2025
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...
typefox.io
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.
041
TypeFox @typefox.bsky.social · 17/04/2025
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...
typefox.io
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.
032
Reposted by TypeFox
Miro Spönemann @sponemann.bsky.social · 31/01/2025
I contributed an article to the Eclipse Newsletter: newsroom.eclipse.org/eclipse-news...
newsroom.eclipse.org
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.
033
Reposted by TypeFox
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 TypeFox
Miro Spönemann @sponemann.bsky.social · 20/12/2024
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...
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
061
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