An introduction to type programming in TypeScript – zhenghao

• ts-lambda-calc

  5 14 0.0 TypeScript

  Type-Level Lambda Calculus interpreter with TypeScript

• TypeScript

  1,318 98,461 9.9 TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  

Having a Turing complete type system is not what you normally want to have, that (it means to have undecidable type checking) makes tooling (and the compiler) way more complex and difficult.

GitHub issue about the Turing completeness:

https://github.com/microsoft/TypeScript/issues/14833

Proof of Turing completeness:

https://gist.github.com/hediet/63f4844acf5ac330804801084f87a...

• SurveyJS

  surveyjs.io featured

  Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.

  

• ts-sql

  28 3,114 0.0 TypeScript

  A SQL database implemented purely in TypeScript type annotations.

  

Another example, SQL-database-in-the-typescript-typesystem here https://github.com/codemix/ts-sql

This would have been much easier if I'd had ts-regexp at the time :)

• Hegel

  15 2,109 0.0 JavaScript

  Discontinued An advanced static type checker

Check out Hegel[0], it uses Flow syntax, it's compatible w/ .d.ts type definitions and has a smarter type inference model than both TS and Flow IMHO.

[0] https://hegel.js.org/

Suggest a related project