152.06K
total weekly downloads
11 packages
drawing-msagl-js
Drawing support for MSAGL-js
msagl
MSAGL in JavaScript
@msagl/core
MSAGL in JavaScript
@msagl/drawing
Drawing attributes for MSAGL
msagl-js
MSAGL in JavaScript
@msagl/parser
Graph parser for MSAGL in JavaScript
@msagl/renderer
WebGL renderer for MSAGL in JavaScript
@msagl/renderer-common
common utils for MSAGL renderers
@msagl/renderer-svg
Svg renderer for MSAGL in JavaScript
@msagl/renderer-webgl
WebGL renderer for MSAGL in JavaScript
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).