coq-to-ocaml-to-js

Similar projects

Found by comparing what the projects do, not just their names.

• formal-land/coq-of-ocaml255

  Code transformer

  Transforms OCaml code into formal, verifiable Coq code to prove complex properties

• klakplok/goji44

  Binding generator

  Generates OCaml bindings from high-level descriptions of JavaScript libraries

• ejgallego/coq-lsp153

  Coq IDE

  A tool for interactive theorem proving and language support in Coq

• xavierleroy/coq2html30

  Documentation generator

  Generates HTML documentation from Coq source files by folding proof scripts and producing auxiliary CSS and JavaScript files

• ejgallego/pycoq50

  Proof assistant library

  Python bindings for Coq's interactive proof assistant

• lexifi/gen_js_api175

  OCaml binding generator

  Generates OCaml bindings for JavaScript libraries

• routineco/ocaml-nanoid20

  Nano ID generator

  Generates unique, secure strings for use in applications.

• coq/vscoq349

  Coq editor

  An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant

• jscoq/jscoq518

  Coq IDE

  An online development environment for the proof assistant Coq, allowing users to run and interact with it in their browser.

• uwplse/cheerios23

  Serialization library

  A formally verified serialization library for Coq

• ocaml-ppx/ppx_deriving469

  Code generator

  A library simplifying type-driven code generation in OCaml

• jscert/jscert196

  JavaScript verifier

  A Coq-based verification of the ECMAScript 5 standard for a JavaScript interpreter

• senchalabs/jsduck1.5K

  Code doc generator

  Generates documentation for JavaScript code using Markdown and infers information from the code itself.

• impermeable/coq-waterproof33

  Proof writer

  Helps write formal proofs in a more readable format

• ocaml-ppx/ppx_deriving_yojson157

  JSON serializer

  A tool that generates JSON serialization and deserialization functions for OCaml types