The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning. Learn more →
We don't know any projects categorized as type-theory yet.
JavaScript type-theory related posts
- Somos os devs da HVM, o compilador Brasileiro que rodou o mundo. Vamos colocar nosso logo no /r/place?
- Type Checking as Calculation
- Is it possible to make join work for arbitrary depths?
- Summary of the KindLang "proof language" theory?
- Rust-like memory management with dependent types
- I've just written a formally verified version of RLP encode/decode in Kind-Lang
- Beyond inductive datatypes: exploring Self types
-
A note from our sponsor - WorkOS
workos.com | 25 Apr 2024
Index
-
Sponsored
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.
www.influxdata.com