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

• InfluxDB

  www.influxdata.com featured

  Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

  

• Yup

  119 22,724 5.1 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.

• marshal.ts

  30 3,180 9.5 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,355 100,144 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

  317 32,932 9.2 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 434 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,033 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

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• ramda

  82 23,752 7.3 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

  73 4,523 9.5 TypeScript

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

• flow-runtime

  1 802 0.0 JavaScript

  A runtime type system for JavaScript with full Flow compatibility.

Suggest a related project