npm

merkle-tree-rollup

Merkle Tree roll up library

• SMT
• Sparse
• Merkle
• Tree
• Rollup

wilsonbeam

published 1.1.4 • 3 years agopublished 1.1.4 3 years ago

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).

• Z3
• theorem
• prover
• solver
• satisfiability
• smt
• satisfiability modulo theories

nbjorner

published 4.12.1 • 2 months agopublished 4.12.1 2 months ago

megaten

An unofficial collection of data from the Shin Megami Tensei and Persona games.

• megaten
• shin megami tensei
• smt
• persona
• atlus

squiddleton

published 2.1.0 • 7 days agopublished 2.1.0 7 days ago

smt-rollup

Sparse Merkle Tree roll up

• SMT
• Sparse
• Merkle
• Tree
• Rollup

wilsonbeam

published 0.6.4 • 3 years agopublished 0.6.4 3 years ago

node-smt

A wrapper for the SMT League Wide Scores XML Feed

• smt
• sportsmedia technology
• league wide scores
• xml

socalnick

published 0.0.1 • 9 years agopublished 0.0.1 9 years ago

moses

Moses Statistical Machine Translation (SMT) library for Node.js

• moses
• smt
• translation

tfeng

published 0.1.3 • 10 years agopublished 0.1.3 10 years ago

smt-cli

smt 集成开发工具

• cli
• smartmesh
• smt
• smt cli
• smart contract
• block chain
• webpack
• webpack multiple page
• react

shaobin.du

published 0.1.2 • 4 years agopublished 0.1.2 4 years ago

dimacs

DIMACS parser in Peg.JS for Javascript and Typescript

• dimacs
• peg
• jest
• integer
• programming
• constraint
• smt
• sat
• stonecypher

stonecypher

published 1.0.1 • a year agopublished 1.0.1 a year ago