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

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

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/

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

Repo for anyone interested:

github.com/TypeFox/typir

I do thonk IFTTT is safer than say… those random sites that adds a pride ribbon to typir avatar or those “social circle” maps generators etc that ppl do for funs.

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

EFTA01103864.jpg
#epsteinweb #efta01103864
https://epsteinweb.org
Available in the iOS app store now!
https://apps.apple.com/us/app/epstein-web/id6758880661