rez-trueagi-io

rez-trueagi-io/jscoq

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

TypeScript
0
0
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

Account's avatar
Extendable client for GitHub's REST & GraphQL APIs
Account's avatar
Check in which environment the code is running - browser/node.js/webworker/jsdom/deno
Account's avatar
Simple wrapper around the "child_process" module that makes use of promises
Account's avatar
Basic configuration for the CodeMirror code editor
Account's avatar
the complete solution for node.js command-line programs
Account's avatar
Find files or directories by name
Account's avatar
the most correct and second fastest glob implementation in JavaScript
Account's avatar
JavaScript library for DOM operations
Account's avatar
Create, read and edit .zip files with JavaScript http://stuartk.com/jszip
Account's avatar
Offline storage, improved.
Account's avatar
Recursively mkdir, like `mkdir -p`
Account's avatar
Pretty, powerful, flexible JSON generation.
Account's avatar
A inter-process and inter-machine lockfile utility that works on a local or network file system
Account's avatar
The progressive JavaScript framework for building modern web UI.
Account's avatar
vue context-menu component
Account's avatar
meta-package for waCoq binary dependencies
Account's avatar
Your Own Pastebin Clone (Server+Client)
Account's avatar
TypeScript definitions for codemirror
Account's avatar
TypeScript definitions for find
Account's avatar
TypeScript definitions for jquery
Account's avatar
TypeScript definitions for mocha
Account's avatar
TypeScript definitions for node
Account's avatar
TypeScript definitions for pako
Account's avatar
The most popular front-end framework for developing responsive, mobile first projects on the web.
Account's avatar
Node.js Buffer API, for the browser
Account's avatar
node's constants module for the browser
Account's avatar
An extremely fast JavaScript and CSS bundler and minifier.
Account's avatar
The cross-platform WebAssembly binary for esbuild, a JavaScript bundler.
Account's avatar
simple, flexible, fun test framework
Account's avatar
Node.JS path module
Account's avatar
the path module from node core for browsers
Account's avatar
process information for node.js and browsers
Account's avatar
the stream module from node core for browsers
Account's avatar
TypeScript loader for webpack
Account's avatar
TypeScript is a language for application scale JavaScript development
Account's avatar
template compiler for Vue 2.0
Account's avatar
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.
Account's avatar
CLI for webpack & friends

Top contributors

corwin-of-amber's profile
corwin-of-amber
877 contributions
ejgallego's profile
ejgallego
775 contributions
pinbe's profile
pinbe
67 contributions
Eladkay's profile
Eladkay
9 contributions
dependabot[bot]'s profile
dependabot[bot]
4 contributions
palmskog's profile
palmskog
3 contributions
gasche's profile
gasche
1 contributions
jmadiot's profile
jmadiot
1 contributions
artagnon's profile
artagnon
1 contributions
SatyendraBanjare's profile
SatyendraBanjare
1 contributions

Recent events

Kivach works on the Obyte network, and therefore you can track all donations.

No events yet