Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Jscoq

A port of Coq to Javascript -- Run Coq in your Browser
Stars
496
License
other
Open Issues
67
Most Recent Commit
7 months ago
Programming Language
TypeScript
Monthly Downloads
npm jscoq Downloads
Dependent Packages
2
Total Releases
25
Latest Release
October 04, 2023
Categories
Site
Repo
Alternatives To Jscoq
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Jscoq496npm jscoq} Downloads27 months ago25October 04, 202367otherTypeScript
A port of Coq to Javascript -- Run Coq in your Browser
Schools50
2 years ago2Coq
Tutorial_material16
6 months ago1Coq
proof script associated to tutorial material
Alternatives To Jscoq
Select To Compare
Jscoq ⭐ 496
A port of Coq to Javascript -- Run Coq in your Browser
dependent packages 2total releases 25most recent commit 7 months agonpm jscoq} Downloads
Schools ⭐ 50
most recent commit 2 years ago


Suggest An Alternative To jscoq
Alternative Project Comparisons
Jscoq vs Schools
Jscoq vs Tutorial_material
Popular Coq Projects
Popular School Projects
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Javascript School
Coq Proof Assistant
Javascript Coq
Javascript Proof Assistant
Javascript Integrated Development Environment
School Coq
Coq Integrated Development Environment
Proof Assistant Integrated Development Environment

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Javascript
Typescript
School
Coq
Proof Assistant
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.