JavaScript Formality

Open-source JavaScript projects categorized as Formality
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
featured

We don't know any projects categorized as Formality yet.

JavaScript Formality related posts

  • Somos os devs da HVM, o compilador Brasileiro que rodou o mundo. Vamos colocar nosso logo no /r/place?

    2 projects | /r/brasil | 1 Apr 2022

  • Type Checking as Calculation

    1 project | news.ycombinator.com | 16 Feb 2022

  • A massively parallel, optimal functional runtime in Rust

    9 projects | news.ycombinator.com | 5 Feb 2022

  • Is it possible to make join work for arbitrary depths?

    1 project | /r/haskell | 5 Feb 2022

  • Summary of the KindLang "proof language" theory?

    1 project | /r/computerscience | 25 Jan 2022

  • Rust-like memory management with dependent types

    1 project | /r/dependent_types | 22 Dec 2021

  • I've just written a formally verified version of RLP encode/decode in Kind-Lang

    1 project | /r/ethereum | 10 Nov 2021
  • A note from our sponsor - SurveyJS
    surveyjs.io | 10 May 2024
    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. Learn more →

Index

-

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com