Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Jscert

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Stars
183
License
other
Open Issues
6
Most Recent Commit
5 years ago
Programming Language
Coq
Categories
Site
Repo
Suggest An Alternative To jscert
Popular Coq Projects
Popular Sh Projects
Discord.py ⭐ 13,949
An API wrapper for Discord written in Python.
dependent packages 490total releases 77latest release August 10, 2023most recent commit 5 months agopypi discord.py} Downloads
M Cli ⭐ 9,255
 Swiss Army Knife for macOS
total releases 1latest release February 27, 2018most recent commit a year ago
Boto3 ⭐ 8,541
AWS SDK for Python
dependent packages 6,595total releases 1,446latest release December 08, 2023most recent commit 5 months agopypi boto3} Downloads
Sh ⭐ 6,776
Python process launching
dependent packages 412total releases 44latest release August 10, 2023most recent commit 6 months agopypi sh} Downloads
Sh ⭐ 6,444
A shell parser, formatter, and interpreter with bash support; includes shfmt
dependent packages 216total releases 157latest release June 18, 2023most recent commit 5 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Sh
Coq
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.