JavaScript proof-languages

Open-source JavaScript projects categorized as proof-languages
Edit details
Topics: Dependent Types Functional programming lambda-calculus theorem-prover type-theory
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App
With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
surveyjs.io
Sponsored

We don't know any projects categorized as proof-languages yet.

Index

-

Sponsored
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.
workos.com