❤
npm
Sign UpSign In

Search results

8 packages found

Sort by: Default
  • Default
  • Most downloaded this week
  • Most downloaded this month
  • Most dependents
  • Recently published

z3-solver

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

nbjorner
published version 4.13.4, 17 days ago3 dependents licensed under $MIT
1,621

choose

compute the binomial coefficients, `n C k`

published version 0.0.0, 12 years ago5 dependents licensed under $MIT
300

bipartite-vertex-cover

Minimal vertex cover for bipartite graphs

mikolalysenko
published version 1.0.0, 11 years ago2 dependents licensed under $MIT
55

pythag

Calculate Pythagorean theorem

rivalnick
published version 1.0.0, 9 years ago0 dependents licensed under $MIT
16

dtk-z3-solver-deno-v2

This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

rpelavin
published version 0.0.7, 10 months ago0 dependents licensed under $MIT
14

nodepythagorean

Pythagorean theorem triangle solver

alexreedyt
published version 1.0.3, 7 years ago0 dependents licensed under $MIT
9

bloatedmath

Extensive JavaScript Math Library Written In TypeScript.

lorenzobloedow
published version 1.0.1, 2 years ago0 dependents licensed under $GPL-3.0
4

@hakerh400/puzzle-games

Puzzle games

hakerh400
published version 1.0.0, 3 years ago0 dependents licensed under $Unlicense
1