CLI for scaffolding Z3 Stack applications (TanStack/Next.js + Convex + Better Auth)

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

Compare strings in the way a human would in sort

Optional Node.js Z3 WebAssembly adapter and allowlisted workflow fixture for CAVE formal reasoning.

This is a [Next.js](https://nextjs.org) project bootstrapped with [`create-next-app`](https://nextjs.org/docs/app/api-reference/cli/create-next-app).

z3-solver fork used in js-randomness-predictor

Core engine for Theorem — parser, translator, solver, scanner, suggester

Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion

koelle-sort - also known as alphanum sort

Neuro-symbolic AI for hybrid neural-symbolic reasoning

Predict the output of Math.random

Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)

Tree graph for React / React树状思维导图组件

Compile class public and private fields, private methods and decorators to ES6

Compile ESNext Regular Expressions to ES5

Formal verification for TypeScript — prove your code is correct for all inputs using Z3

Create a new Jest project

A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers

SWI-Prolog 10.1.4 + Z3 4.16.0 in a single WebAssembly binary. Zero dependencies. Foreign predicates in JS, CLP(FD), Z3 SMT solving from Prolog via C FFI, ergonomic query API.

swagger.json 自动生成axios 示例，实现自动化生成，并支持前后对比，节省前端写api代码的时间