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).
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
z3-solver fork used in js-randomness-predictor
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).
koelle-sort - also known as alphanum sort
The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.
Predict the output of Math.random
Tree graph for React / React树状思维导图组件
MCP server providing Z3 SMT solver capabilities
Neuro-symbolic AI for hybrid neural-symbolic reasoning
TypeScript Z-Machine implementation
z3
swagger.json 自动生成axios 示例，实现自动化生成，并支持前后对比，节省前端写api代码的时间
Coloured Time Petri Net engine — TypeScript port
Compile class public and private fields, private methods and decorators to ES6
Compile ESNext Regular Expressions to ES5
Neurosymbolic verification engine - MCP server for formal reasoning with Z3 and SWI-Prolog (WASM)
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).
RFC9562 UUIDs
Create a new Jest project
Formal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.
Polyfill for Node.js module.createRequire (<= v12.2.0)
Compute the sum of three double-precision complex floating-point numbers.