Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
npmjs.org "theorem" keyword
dtk-z3-solver-deno-v2 0.0.7
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...3 versions - Latest release: 3 months ago - 54 downloads last month - 9,861 stars on GitHub - 1 maintainer
Top 3.3% on npmjs.org
18 versions - Latest release: 3 months ago - 2 dependent packages - 31 dependent repositories - 798 downloads last month - 9,861 stars on GitHub - 2 maintainers
z3-solver 4.13.0
This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](ht...18 versions - Latest release: 3 months ago - 2 dependent packages - 31 dependent repositories - 798 downloads last month - 9,861 stars on GitHub - 2 maintainers
dtk-z3-solver-deno 0.0.5 unpublished
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API...5 versions - Latest release: 3 months ago - 30 downloads last month - 9,540 stars on GitHub - 1 maintainer
Top 8.4% on npmjs.org
2 versions - Latest release: about 10 years ago - 3 dependent packages - 4 dependent repositories - 476 downloads last month - 4 stars on GitHub - 1 maintainer
bipartite-vertex-cover 1.0.0
Minimal vertex cover for bipartite graphs2 versions - Latest release: about 10 years ago - 3 dependent packages - 4 dependent repositories - 476 downloads last month - 4 stars on GitHub - 1 maintainer
nodepythagorean 1.0.3
Pythagorean theorem triangle solver4 versions - Latest release: about 6 years ago - 1 dependent package - 1 dependent repositories - 17 downloads last month - 1 maintainer
pythag 1.0.0
Calculate Pythagorean theorem1 version - Latest release: almost 9 years ago - 1 dependent package - 1 dependent repositories - 13 downloads last month - 1 stars on GitHub - 1 maintainer
Top 7.4% on npmjs.org
1 version - Latest release: almost 12 years ago - 8 dependent packages - 12 dependent repositories - 217 downloads last month - 8 stars on GitHub - 1 maintainer
choose 0.0.0
compute the binomial coefficients, `n C k`1 version - Latest release: almost 12 years ago - 8 dependent packages - 12 dependent repositories - 217 downloads last month - 8 stars on GitHub - 1 maintainer
bloatedmath 1.0.1
Extensive JavaScript Math Library Written In TypeScript.2 versions - Latest release: over 1 year ago - 1 dependent package - 14 downloads last month - 1 stars on GitHub - 1 maintainer
Top 7.9% on npmjs.org
23 versions - Latest release: over 2 years ago - 7 dependent packages - 3 dependent repositories - 477 downloads last month - 3 stars on GitHub - 1 maintainer
@theorem/eslint-plugin 12.0.0 deprecated 💰
This tool provides some benefits on top of eslint:23 versions - Latest release: over 2 years ago - 7 dependent packages - 3 dependent repositories - 477 downloads last month - 3 stars on GitHub - 1 maintainer
Top 8.1% on npmjs.org
12 versions - Latest release: about 2 months ago - 5 dependent packages - 2 dependent repositories - 1.37 thousand downloads last month - 3 stars on GitHub - 1 maintainer
@denis-sokolov/eslint-plugin 15.1.1 💰
This tool provides some benefits on top of eslint:12 versions - Latest release: about 2 months ago - 5 dependent packages - 2 dependent repositories - 1.37 thousand downloads last month - 3 stars on GitHub - 1 maintainer
Related Keywords
solver
4
Z3
3
prover
3
satisfiability
3
smt
3
satisfiability modulo theories
3
typescript
3
javascript
3
math
3
react
2
linting
2
eslint
2
vertex
1
cover
1
bipartite
1
graph
1
library
1
konig
1
constants
1
algorithms
1
BloatedMath
1
Bloated
1
JavaScript
1
TypeScript
1
constant
1
algorithm
1
mathematics
1
pascal
1
choose
1
coefficient
1
binomial
1
ponyfill
1
maths
1
Pythagorean
1
pythag
1
triangle
1
calculator
1
edge
1
pythagorean
1
dual
1
matching
1