Hegel – An advanced static type checker for JavaScript

• Hegel

  15 2,109 0.0 JavaScript

  Discontinued An advanced static type checker

unfortunately, the project is on pause for the time being [1]

[1]: https://github.com/JSMonk/hegel/issues/355#issuecomment-1075...

• Yup

  114 22,266 6.8 TypeScript

  Dead simple Object schema validation

https://deepkit.io/ may be of interest to you! It deeply patches the TS type compiler to make all types visible at runtime, enabling a lot of annotation-style workflows and dependency injection possible completely within the type annotation system: https://docs.deepkit.io/english/runtime-types.html

Previous discussion: https://news.ycombinator.com/item?id=31663298 - it's downright mindblowing that all this seems to be the work of primarily a single developer.

For a less intrusive solution, https://github.com/jquense/yup is a great library to reach for whenever you're defining the shape of a network-transmitted object and don't want to introduce compilation stages.

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

  

• marshal.ts

  29 3,077 9.6 TypeScript

  A new full-featured and high-performance TypeScript framework

  

https://deepkit.io/ may be of interest to you! It deeply patches the TS type compiler to make all types visible at runtime, enabling a lot of annotation-style workflows and dependency injection possible completely within the type annotation system: https://docs.deepkit.io/english/runtime-types.html

Previous discussion: https://news.ycombinator.com/item?id=31663298 - it's downright mindblowing that all this seems to be the work of primarily a single developer.

For a less intrusive solution, https://github.com/jquense/yup is a great library to reach for whenever you're defining the shape of a network-transmitted object and don't want to introduce compilation stages.

• TypeScript

  1,307 98,169 9.9 TypeScript

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

  

The GPs request is a very fair one. Typeguards are 10% of starting the solution.

What everyone wants: Autogenerated type guards by class.

What everyone gets: “Remains out of scope.”

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

• zod

  290 30,630 9.1 TypeScript

  TypeScript-first schema validation with static type inference

Seamless runtime checks are fully supported via zod.

https://github.com/colinhacks/zod

You’re welcome.

(I use this library every day. It has changed my life.)

• spartan-schema

  12 431 2.7 TypeScript

  Ultra-minimal JSON schemas with Typescript inference

In the same vein, shameless plug for my own library, Spartan Schema:

https://github.com/ar-nelson/spartan-schema

It does the same thing as Zod, but is much smaller/simpler and its types always have a JSON representation.

• Sanctuary

  5 3,015 7.1 JavaScript

  :see_no_evil: Refuge from unsafe JavaScript

  

I wonder if this will be something that functional libraries like Ramda [1] or Sanctuary [2] will be able to benefit from.

One of the reasons these libraries don't work so well with TS is that it doesn't have ML-style whole program inference and hence doesn't work so well with patterns like currying. Hegel seems more capable in that regard.

[1] https://ramdajs.com/

[2] https://github.com/sanctuary-js/sanctuary

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• ramda

  80 23,592 6.8 JavaScript

  :ram: Practical functional Javascript

  

I wonder if this will be something that functional libraries like Ramda [1] or Sanctuary [2] will be able to benefit from.

One of the reasons these libraries don't work so well with TS is that it doesn't have ML-style whole program inference and hence doesn't work so well with patterns like currying. Hegel seems more capable in that regard.

[1] https://ramdajs.com/

[2] https://github.com/sanctuary-js/sanctuary

• slonik

  71 4,395 9.3 TypeScript

  A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.

• flow-runtime

  1 804 0.0 JavaScript

  A runtime type system for JavaScript with full Flow compatibility.

Suggest a related project