Typir is an open source library for type checking in the web
☆50Feb 25, 2026Updated 2 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:
- A DSL for generating user interfaces, built with Langium☆20Jun 13, 2023Updated 2 years ago
- Source of langium.org☆17Mar 12, 2026Updated last month
- Implementation of the Lox language in Langium☆30Jul 7, 2024Updated last year
- 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
- 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.
- ☆21Updated this week
- Type checking and logical inference for JetBrains MPS☆32Updated this week
- ☆23Feb 25, 2025Updated last year
- A diagramming framework for the web☆868Updated this week
- Integration of Sprotty diagrams into Theia IDE☆25Updated this week
- Open Collaboration Tools: live-sharing solution for Eclipse Theia, VS Code and other editors and IDEs☆250Apr 21, 2026Updated last week
- xtext-maven☆13Apr 20, 2023Updated 3 years ago
- Ecore and OCL runtime API for C#☆11Feb 8, 2021Updated 5 years ago
- Components for State Machines, using Generator Functions☆34Jan 1, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- A Map that acts like an object literal to better reflect Python dictionaries in JS.☆17May 14, 2024Updated last year
- TypeScript Modeling Framework - A TypeScript port of the Eclipse Modeling Framework (EMF) for Node/Angular/React environments,☆15Nov 16, 2025Updated 5 months ago
- BBj Language Server☆11Mar 29, 2026Updated last month
- A language for writing safe expressions, in a tiny subset of JavaScript.☆19Apr 5, 2024Updated 2 years ago
- xtext-idea☆13May 28, 2019Updated 6 years ago
- Example diagram editors built with Eclipse GLSP☆51Apr 8, 2026Updated 3 weeks ago
- 🗒️ building blocks to transpile and execute code in-browser.☆22Mar 3, 2026Updated last month
- Starlasu - A Language Engineering Framework☆120Apr 14, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An experimental library for hydrating web components and adding "sprinkles of reactivity" to pre-rendered HTML.☆23Dec 15, 2024Updated last year
- Object Request Broker (ORB) and Interface Definition Language (IDL) compiler☆15Apr 10, 2026Updated 2 weeks ago
- A Babel plugin that lets you use a Svelte like syntax with Solid☆20May 25, 2022Updated 3 years ago
- next generation assemblyscript compiler☆17Updated this week
- Integrating SolidJS and Meteor reactivity☆17Mar 22, 2024Updated 2 years ago
- Typescript transform jsx to string☆27Jan 6, 2023Updated 3 years ago
- Cross-platform set of script to install MetaCall infrastructure.☆17Feb 17, 2026Updated 2 months ago
- Router for solid-js using router5 and lots of typescript magic☆18Jan 14, 2023Updated 3 years ago
- Create Gtk applications with Gjs/TypeScript☆10Aug 16, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Yeoman generator for gradle plugin☆12Apr 7, 2026Updated 3 weeks ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- ☆11Dec 17, 2021Updated 4 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 11 years ago
- Human-friendly compiler infrastructure library for WebAssembly☆26Jan 8, 2024Updated 2 years ago
- Never manage a namespace object map again, scrap typo's for well-known ontologies. Like DefinitelyTyped, but for ontologies.☆53May 16, 2022Updated 3 years ago
- dugite-extra - High-level Git commands for dugite☆14Nov 27, 2023Updated 2 years ago