Skip to content
@jscoq

jsCoq

A JavaScript port of Coq

Pinned Loading

  1. jscoq jscoq Public

    A port of Coq to Javascript -- Run Coq in your Browser

    TypeScript 517 44

  2. addons addons Public

    A workspace for jsCoq addons

    Makefile 2

  3. coqdoc-template coqdoc-template Public

    Basic coqdoc template for jsCoq

    JavaScript

  4. wacoq-bin wacoq-bin Public

    Coq WebAssembly interface

    TypeScript 3 3

Repositories

Showing 10 of 25 repositories
  • jscoq Public

    A port of Coq to Javascript -- Run Coq in your Browser

    jscoq/jscoq’s past year of commit activity
    TypeScript 517 44 71 (4 issues need help) 11 Updated Oct 24, 2024
  • addons Public

    A workspace for jsCoq addons

    jscoq/addons’s past year of commit activity
    Makefile 0 2 0 0 Updated Sep 16, 2024
  • addon-mathcomp Public

    Mathematical Components addon for jsCoq

    jscoq/addon-mathcomp’s past year of commit activity
    Makefile 0 2 0 0 Updated Sep 16, 2024
  • coqdoc-template Public

    Basic coqdoc template for jsCoq

    jscoq/coqdoc-template’s past year of commit activity
    JavaScript 0 Unlicense 0 0 1 Updated May 21, 2024
  • addon-unimath Public

    UniMath addon for jsCoq

    jscoq/addon-unimath’s past year of commit activity
    HTML 0 0 0 0 Updated Oct 1, 2023
  • addon-software-foundations Public

    Software Foundations book libraries addon for jsCoq

    jscoq/addon-software-foundations’s past year of commit activity
    Makefile 1 0 1 0 Updated Oct 1, 2023
  • jscoq.github.io Public

    jsCoq Public Website

    jscoq/jscoq.github.io’s past year of commit activity
    Coq 4 1 0 3 Updated Aug 8, 2023
  • addon-htt Public

    Hoare Type Theory addon for jsCoq

    jscoq/addon-htt’s past year of commit activity
    Makefile 0 0 0 0 Updated Jul 2, 2023
  • addon-fcsl-pcm Public

    Partial Commutative Monoids addon for jsCoq

    jscoq/addon-fcsl-pcm’s past year of commit activity
    Makefile 0 0 0 0 Updated Jul 2, 2023
  • addon-hott Public

    Homotopy Type Theory for jsCoq

    jscoq/addon-hott’s past year of commit activity
    Makefile 0 0 0 0 Updated Apr 21, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…