Typir is a library for type systems and type checking for software languages in the web.
Typir is OpenSource, written in TypeScript, and follows pragmatic approaches for simplifying type checking in practical language engineering projects by providing default implementations for recurring problems. As a stand-alone library, Typir provides a TypeScript-API for language engineers without an additional, external DSL for formalizing types.
npm install typir
For an overview about the core features of Typir with a simple application example, see the root README.md of the Typir project.
Important design decision: Typir is a stand-alone library and has no dependencies to any existing language workbench.
Look at the examples in the examples folder of the repo (here). There we have some demo projects for you to get started.