imandra-ai / verified-reactLinks
Automated reasoning for React/ReasonML
☆119Updated 3 years ago
Alternatives and similar repositories for verified-react
Users that are interested in verified-react are comparing it to the libraries listed below
Sorting:
- A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml…☆100Updated 3 years ago
- A ReasonML/Ocaml library for category theory and abstract algebra☆214Updated 3 years ago
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆42Updated 3 years ago
- Bindings to socket.io☆50Updated 3 years ago
- GADT lenses☆105Updated 4 years ago
- Strongly typed declarative markup for the DOM and CSS☆63Updated 3 years ago
- ☆36Updated 6 years ago
- WebAssembly backend for OCaml☆79Updated 5 years ago
- A SQL query builder written in ReasonML☆29Updated 3 years ago
- js_of_ocaml bindings for ReactJS. Based on ReasonReact.☆137Updated 8 months ago
- OCaml bindings for the virtual-dom library☆58Updated 3 weeks ago
- 🚀 Native Actors for Reason and OCaml☆70Updated 6 years ago
- Reason bindings to WebGL and OpenGL.☆107Updated 5 years ago
- Relude-based utilities for ReasonReact☆54Updated 2 years ago
- Game of Life in ReasonML with ReasonReact in 2020☆39Updated last year
- ☆37Updated 4 years ago
- A type-safe JavaScript promise library for ReasonML☆31Updated 5 years ago
- Elm-inspired decoders for Ocaml☆84Updated 2 weeks ago
- Fetch libraries/interface for Reason/OCaml☆50Updated 5 years ago
- Deprecated, use the reasonml-community one☆98Updated 6 years ago
- Static types for JSON APIs☆338Updated last month
- Type-safe GraphQL queries in OCaml☆65Updated 6 years ago
- Integrating ReasonReact with Erratique's React!☆36Updated last year
- A ppx rewriter for CSS expressions.☆99Updated 3 years ago
- An optic library for ReScript (OCaml and ReasonML)☆18Updated 2 years ago
- Bucklescript bindings for Puppeteer (Headless Chrome Node API) written in ReasonML☆62Updated 3 years ago
- Translate OCaml bytecode to WebAssembly☆132Updated last year
- Project configuration for esy☆138Updated last year
- Declarative events and signals for OCaml☆144Updated last month
- React.js-like reconciler implemented in OCaml☆136Updated 11 months ago