imandra-ai / verified-reactLinks
Automated reasoning for React/ReasonML
☆116Updated 2 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 ReasonML/Ocaml library for category theory and abstract algebra☆214Updated 2 years ago
- A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml…☆100Updated 2 years ago
- Bindings to socket.io☆50Updated 2 years ago
- GADT lenses☆105Updated 4 years ago
- Reason bindings to WebGL and OpenGL.☆107Updated 5 years ago
- A ppx rewriter for CSS expressions.☆99Updated 3 years ago
- Strongly typed declarative markup for the DOM and CSS☆63Updated 2 years ago
- Project configuration for esy☆138Updated last year
- 📚 Documentation Generator for BuckleScript☆46Updated 5 years ago
- Relude-based utilities for ReasonReact☆54Updated 2 years ago
- Template-based macros for Reason/OCaml☆105Updated 6 years ago
- 🚀 Native Actors for Reason and OCaml☆70Updated 6 years ago
- Deprecated, use the reasonml-community one☆98Updated 6 years ago
- js_of_ocaml bindings for ReactJS. Based on ReasonReact.☆137Updated 6 months ago
- Algorithms and Data Structures in ReasonML☆39Updated 7 years ago
- ☆36Updated 5 years ago
- React.js-like reconciler implemented in OCaml☆136Updated 9 months ago
- Monadic let-bindings☆126Updated 3 weeks ago
- ReHp☆223Updated 4 years ago
- WebAssembly backend for OCaml☆79Updated 5 years ago
- ⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml☆205Updated 5 years ago
- Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.☆280Updated 2 months ago
- Bucklescript bindings for Puppeteer (Headless Chrome Node API) written in ReasonML☆62Updated 2 years ago
- Hygienic typed literal macros (TLMs) for Reason☆210Updated 7 years ago
- OCaml project generator.☆299Updated last year
- let reason-nact = (node.js, reason, actors) ⇒ your µ services have never been so typed☆127Updated 2 years ago
- An Elm to OCaml compiler☆210Updated 5 years ago
- An easy-to-use, comprehensive, and safe standard library enhancement for Reason and OCaml.☆52Updated 2 years ago
- A clean & easy documentation generator for reason/bucklescript/ocaml☆114Updated 6 years ago
- A chess app written in Reason ♟️♟️♟️☆17Updated 5 years ago