Our great sponsors
-
For the symbols, I think you can use https://github.com/vspinu/company-math
-
-
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.
Related posts
- Types versus sets (and what about categories?)
- Amendmend proposal: Changed syntax for Or patterns
- Functional Programming and Maths <|> How can a code monkey learn Agda?
- FP language idea - would this is possible to infer and type check?
- Haskell is the greatest programming language of all time ... the rational adult in a room full of children ... When I program in Haskell, I am in utopia. I am in a different world than 99.9% of what I see posted on Reddit.