imandra-ai / verified-reactLinks
Automated reasoning for React/ReasonML
☆114Updated 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:
- GADT lenses☆104Updated 3 years ago
- A ReasonML/Ocaml library for category theory and abstract algebra☆214Updated 2 years ago
- Strongly typed declarative markup for the DOM and CSS☆64Updated 2 years ago
- A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml…☆99Updated 2 years ago
- Translate OCaml bytecode to WebAssembly☆132Updated 5 months ago
- Bindings to socket.io☆50Updated 2 years ago
- Type-safe and simple GraphQL library for ReasonML developers.☆96Updated 2 years ago
- 🚀 Native Actors for Reason and OCaml☆70Updated 6 years ago
- ☆37Updated 3 years ago
- js_of_ocaml bindings for ReactJS. Based on ReasonReact.☆138Updated last month
- A ppx rewriter for CSS expressions.☆99Updated 3 years ago
- An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.☆72Updated 4 years ago
- Relude-based utilities for ReasonReact☆54Updated 2 years ago
- A clean & easy documentation generator for reason/bucklescript/ocaml☆115Updated 6 years ago
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- A PPX for async/await (and general monadic binding) in ReasonML.☆139Updated last year
- Node bindings for Reason and Bucklescript☆100Updated 2 years ago
- CRDT-like data structures for building distributed, offline-first applications☆32Updated 4 years ago
- OCaml bindings for the virtual-dom library☆56Updated this week
- Type-safe JSON decoding for ReasonML and OCaml☆103Updated last year
- An easy-to-use, comprehensive, and safe standard library enhancement for Reason and OCaml.☆52Updated 2 years ago
- Monadic let-bindings☆120Updated 2 weeks ago
- A websocket library for reason native☆58Updated 6 years ago
- 📚 Documentation Generator for BuckleScript☆46Updated 4 years ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆42Updated 2 years ago
- Fast, safe and composable streaming abstractions.☆116Updated 7 months ago
- Template-based macros for Reason/OCaml☆105Updated 5 years ago
- Elm-inspired decoders for Ocaml☆84Updated 5 months ago
- OCaml JSX for ReasonReact☆70Updated 6 years ago