Search results
6 packages found
Build a stark from a PIL
published 0.0.57 4 months ago
M
Q
P
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).
published 4.13.0 2 months ago
M
Q
P
A reference library for building JS apps using the Prover documentation.
published 1.0.1 5 months ago
M
Q
P
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).
published 0.0.7 3 months ago
M
Q
P
Snark implementation in C++
published 0.0.2 a year ago
M
Q
P
A Typescript implementation of the Ethereum Consensus light client
published 1.18.1 8 days ago
M
Q
P