rez-trueagi-io/jscoq

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

TypeScript

Other

jsCoq is an online integrated development environment that runs the Coq proof assistant directly in web browsers, enabling users to write and verify formal proofs without requiring any server-side components or installations. It is designed for mathematicians, computer scientists, and educators who need to demonstrate or collaborate on formal verification and proof development through an accessible, browser-based interface.

Total donated

Undistributed

Share with your subscribers:

Recipients

How the donated funds are distributed

Support the dependencies of rez-trueagi-io/jscoq

octokit/core.js

Extendable client for GitHub's REST & GraphQL APIs

flexdinesh/browser-or-node

Check in which environment the code is running - browser/node.js/webworker/jsdom/deno

patrick-steele-idem/child-process-promise

Simple wrapper around the "child_process" module that makes use of promises

codemirror/basic-setup

Basic configuration for the CodeMirror code editor

tj/commander.js

the complete solution for node.js command-line programs

yuanchuan/find

Find files or directories by name

isaacs/node-glob

the most correct and second fastest glob implementation in JavaScript

jquery/jquery

JavaScript library for DOM operations

Stuk/jszip

Create, read and edit .zip files with JavaScript http://stuartk.com/jszip

localForage/localForage

Offline storage, improved.

isaacs/node-mkdirp

Recursively mkdir, like `mkdir -p`

Phrogz/NeatJSON

Pretty, powerful, flexible JSON generation.

moxystudio/node-proper-lockfile

A inter-process and inter-machine lockfile utility that works on a local or network file system

vuejs/core

The progressive JavaScript framework for building modern web UI.

vmaimone/vue-context-menu

vue context-menu component

jscoq/jscoq

meta-package for waCoq binary dependencies

corwin-of-amber/hastebin

Your Own Pastebin Clone (Server+Client)

DefinitelyTyped/DefinitelyTyped

TypeScript definitions for codemirror

DefinitelyTyped/DefinitelyTyped

TypeScript definitions for find

DefinitelyTyped/DefinitelyTyped

TypeScript definitions for jquery

DefinitelyTyped/DefinitelyTyped

TypeScript definitions for mocha

DefinitelyTyped/DefinitelyTyped

TypeScript definitions for node

DefinitelyTyped/DefinitelyTyped

TypeScript definitions for pako

twbs/bootstrap

The most popular front-end framework for developing responsive, mobile first projects on the web.

feross/buffer

Node.js Buffer API, for the browser

juliangruber/constants-browserify

node's constants module for the browser

evanw/esbuild

An extremely fast JavaScript and CSS bundler and minifier.

evanw/esbuild

The cross-platform WebAssembly binary for esbuild, a JavaScript bundler.

mochajs/mocha

simple, flexible, fun test framework

jinder/path

Node.JS path module

browserify/path-browserify

the path module from node core for browsers

shtylman/node-process

process information for node.js and browsers

browserify/stream-browserify

the stream module from node core for browsers

TypeStrong/ts-loader

TypeScript loader for webpack

microsoft/TypeScript

TypeScript is a language for application scale JavaScript development

vuejs/vue

template compiler for Vue 2.0

webpack/webpack

Packs ECMAScript/CommonJs/AMD modules for the browser. Allows you to split your codebase into multiple bundles, which can be loaded on demand. Supports loaders to preprocess files, i.e. json, jsx, es7, css, less, ... and your custom stuff.

webpack/webpack-cli

CLI for webpack & friends