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
- DEPRECATED. See https://ocaml.org/changelog/2023-10-23-omp-deprecation. Convert OCaml parsetrees between different major versions☆86Updated last year
- A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml…☆99Updated 2 years ago
- js_of_ocaml bindings for ReactJS. Based on ReasonReact.☆138Updated 2 weeks ago
- Relude-based utilities for ReasonReact☆54Updated 2 years ago
- An easy-to-use, comprehensive, and safe standard library enhancement for Reason and OCaml.☆52Updated 2 years ago
- Elm-inspired decoders for Ocaml☆84Updated 4 months ago
- Easy OCaml bindings for Javascript libraries☆178Updated 4 months ago
- Monadic parsing with Relude☆35Updated 2 years ago
- Bindings to socket.io☆50Updated 2 years ago
- A SQL query builder written in ReasonML☆29Updated 2 years ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.☆72Updated 4 years ago
- 📚 Documentation Generator for BuckleScript☆46Updated 4 years ago
- Translate OCaml bytecode to WebAssembly☆132Updated 4 months ago
- OCaml bindings for the virtual-dom library☆56Updated last week
- WebAssembly backend for OCaml☆79Updated 4 years ago
- OCaml debugger for VS Code☆14Updated 5 years ago
- ☆36Updated 5 years ago
- Fetch libraries/interface for Reason/OCaml☆50Updated 5 years ago
- Integrating ReasonReact with Erratique's React!☆35Updated 5 months ago
- Hygienic typed literal macros (TLMs) for Reason☆209Updated 6 years ago
- Skeleton of a shared library for melange and native OCaml/Reason☆29Updated last year
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆42Updated 2 years ago
- Fast, safe and composable streaming abstractions.☆116Updated 6 months ago
- A tool to create PDFs that are also OCaml bytecodes☆41Updated last year
- Bucklescript bindings for Puppeteer (Headless Chrome Node API) written in ReasonML☆62Updated 2 years ago
- Template-based macros for Reason/OCaml☆105Updated 5 years ago