BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

Home Search Compare Equivalents

One search box and one honest, consistent read on every open-source library — across every ecosystem.

npmPyPIcrates.ioRubyGemsGoMavenNuGet

Discover

Tools

Compare Equivalents

Data

deps.dev OSV advisories npm registry PyPI

About

Methodology Partner with us

© 2026 Modules · A precision instrument for picking dependencies.Data refreshed continuously from public registries, deps.dev & OSV

cross-ecosystem search · live

Results for jscoq

Found in 1 of 7 ecosystemsnpm 1–24 of 40

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

npm matches

Showing 24 of 40 · JavaScript

See all npm →

A port of Coq to JavaScript -- run Coq in your browser

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 2 years ago.

@jscoq/mathcompv0.17.1

Mathematical Components 1.16.0 for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 2 years ago.

@jscoq/simpleiov0.17.1

SimpleIO 1.7.0 for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/pnpv0.17.1

Proofs and Programs book for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 2 years ago.

@jscoq/quickchickv0.17.1

QuickChick 2.0 for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/fcsl-pcmv0.17.1

Partial Commutative Monoids for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 2 years ago.

@jscoq/equationsv0.17.1

Equations 1.3 for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/software-foundationsv0.17.1

Software Foundations (Mar 2021, LF+PLF) for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/extlibv0.17.1

ExtLib for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/pacov0.17.1

Paco 4.1.1 for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/elpiv0.17.1

coq-elpi 1.17.1 for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 2 years ago.

@jscoq/mathcomp-extrav0.17.1

More Mathematical Components for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/httv0.17.1

Hoare Type Theory for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/promisingv0.14.1

SNU's promising-coq for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 4 years ago.

@jscoq/snu-sflibv0.17.1

SNU's sflib for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/hahnv0.16.0

Hahn for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 3 years ago.

@jscoq/coqobanv0.17.1

Coqoban -- a fun interlude for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/stdppv0.17.1

std++ for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@jscoq/irisv0.17.1

Iris for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 2 years ago.

@wacoq/simpleiov0.16.0

SimpleIO 1.7.0 for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 3 years ago.

@wacoq/equationsv0.16.0

Equations 1.3 for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 3 years ago.

@wacoq/pnpv0.16.0

Proofs and Programs book for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 3 years ago.

@wacoq/httv0.16.0

Hoare Type Theory for jsCoq

MaintenanceAbandoned

PopularityUnknown

Abandoned. Last published 3 years ago.

@wacoq/software-foundationsv0.16.0

Software Foundations (Mar 2021, LF+PLF) for jsCoq

MaintenanceAbandoned

PopularityNiche

Abandoned. Last published 3 years ago.