Typir is an open source library for type checking in the web
☆52Feb 25, 2026Updated 4 months ago
Alternatives and similar repositories for typir
Users that are interested in typir are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Source of langium.org☆18Jul 14, 2026Updated last week
- Language server for SQL in Langium☆32Mar 19, 2024Updated 2 years ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Apr 30, 2026Updated 2 months ago
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 3 years ago
- AI toolbox for grounding LLMs on Langium DSLs with evaluation, constraints, and agent skills☆27Jul 13, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Implementation of the Lox language in Langium☆30Jun 18, 2026Updated last month
- Next-gen language engineering / DSL framework☆1,015Updated this week
- Dependency injection done right.☆24Mar 23, 2023Updated 3 years ago
- Monaco Editor and Language Client Wrapper, plus Monaco Editor React Component☆45Mar 22, 2024Updated 2 years ago
- RPC messaging library for the VS Code extension platform☆58Jun 19, 2026Updated last month
- An IDE to navigate the JavaScript specification.☆16May 20, 2026Updated 2 months ago
- Client-side automatic layout for the Sprotty diagramming framework☆16Nov 30, 2021Updated 4 years ago
- Type checking and logical inference for JetBrains MPS☆32Apr 24, 2026Updated 2 months ago
- A diagramming framework for the web☆880Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Graphical language server platform for building web-based diagram editors☆233Updated this week
- Components for State Machines, using Generator Functions☆34Jan 1, 2023Updated 3 years ago
- Server implementation for the Sprotty diagramming framework☆27May 12, 2026Updated 2 months ago
- ☆23Feb 25, 2025Updated last year
- Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.☆16Apr 24, 2026Updated 2 months ago
- Example diagram editors built with Eclipse GLSP☆53Jun 22, 2026Updated 3 weeks ago
- Integration of Sprotty diagrams into Theia IDE☆25May 22, 2026Updated last month
- Open Collaboration Tools: live-sharing solution for Eclipse Theia, VS Code and other editors and IDEs☆259Jul 3, 2026Updated 2 weeks ago
- xtext-maven☆13Apr 20, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A typescript code terraformer☆20Nov 7, 2022Updated 3 years ago
- An open-source registry for VS Code extensions☆11Jan 29, 2020Updated 6 years ago
- ☆10Mar 4, 2026Updated 4 months ago
- BBj Language Server☆12Updated this week
- Human-friendly compiler infrastructure library for WebAssembly☆26Jan 8, 2024Updated 2 years ago
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆12Updated this week
- xtext-web☆14Apr 20, 2023Updated 3 years ago
- DescribeML is a Visual Studio Code language plug-in to describe machine-learning datasets in a structured format. Build better data descr…☆30Sep 15, 2023Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆21Updated this week
- A Map that acts like an object literal to better reflect Python dictionaries in JS.☆17May 14, 2024Updated 2 years ago
- ☆10Feb 17, 2026Updated 5 months ago
- A set a demos to showcase foldable devices on the web☆17Apr 18, 2024Updated 2 years ago
- A language for writing safe expressions, in a tiny subset of JavaScript.☆19Apr 5, 2024Updated 2 years ago
- A new programming language for WASM☆20Updated this week
- xtext-idea☆13May 28, 2019Updated 7 years ago