Our great sponsors
-
-
-
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.
Unfortunately it seems the effort for static typing was abandoned: "Static typing system on Github" - "it's not realistically going to happen"
This project appears to be the strongest effort in the right direction for typing Nickel - "Nickel has types, but you get to chose when you want it or not, and it handles safely the interaction between the typed and the untyped world."
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.