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).
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).
Official React bindings for Redux
Babel preset used by Create React App
ESLint configuration used by Create React App
webpack utilities used by Create React App
Configuration and scripts for Create React App.
The official, opinionated, batteries-included toolset for efficient Redux development
Predictable state container for JavaScript apps
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
z3-solver fork used in js-randomness-predictor
Create Next.js-powered React apps with one command
Polyfills for various browsers including commonly used language features
Tweak the create-react-app webpack config(s) without using 'eject' and without creating a fork of the react-scripts
> **Compatibility Note:** > Vite requires [Node.js](https://nodejs.org/en/) version 20.19+, 22.12+. However, some templates require a higher Node.js version to work, please upgrade if your package manager warns about it.
The base template for Create React App.
Storybook for Create React App preset
Create React apps with no build configuration.
React Bootstrap components
Create universal Expo apps
A better opn. Reuse the same tab on Chrome for 👨💻.
More powerful alternative to Animated library for React Native.
JavaScript SDK for Base44 API
The Quill rich-text editor as a React component.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.