Typechecking new type system features

This page summarizes the projects mentioned and recommended in the original post on /r/types

Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
  • star

    An experimental programming language that's made to be powerful, productive, and predictable (by ALANVF)

    Hello, I'm the developer of the Star programming language, and I have some questions about how to typecheck several new/uncommon features that it has, and looking for feedback on it in general.

  • Star-lang-specification

    Work in progress specs for the Star programming language

    Here's a list of the things I've had the biggest issues with, with a brief description for each thing (more docs can be found here):

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts