Automated reasoning for React/ReasonML
☆119Jan 4, 2023Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Imandra Protocol Language example models☆12Aug 23, 2024Updated last year
- A datetime library for the ages in ReasonML☆12Mar 4, 2023Updated 3 years ago
- FP-inspired prelude/standard library for ReasonML projects☆268Jan 21, 2026Updated 2 months ago
- A simple reason react state management library that help you share hook state and logic easily.☆15Nov 24, 2020Updated 5 years ago
- GADT lenses☆105Oct 16, 2021Updated 4 years ago
- A toolkit for writing servers in ReasonML on top of NodeJS☆16Jan 23, 2023Updated 3 years ago
- Imandra ROS☆17Jan 24, 2022Updated 4 years ago
- Testing, printing, coloring, and other tools to effectively write native Reason code.☆460May 7, 2024Updated last year
- OCaml bindings to Google Cloud Platform APIs☆26Mar 5, 2026Updated 2 weeks ago
- Online tool to explore how different ppxs transform the input code☆19Oct 29, 2024Updated last year
- Nit - A better ReasonML playground☆32May 11, 2020Updated 5 years ago
- [@js.deep] for immutably updating nested javascript objects in Reason/OCaml☆36Jul 2, 2019Updated 6 years ago
- Ramda inspired library of helper functions for ReasonML☆275Jan 3, 2023Updated 3 years ago
- ☆34Feb 8, 2019Updated 7 years ago
- Elm-inspired decoders for Ocaml☆84Jan 21, 2026Updated 2 months ago
- Fetch libraries/interface for Reason/OCaml☆51May 18, 2020Updated 5 years ago
- A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp☆164Aug 3, 2023Updated 2 years ago
- A standard library with the same API in F#, Rescript and OCaml☆518Apr 20, 2023Updated 2 years ago
- Imandra FIX Engine☆53Feb 27, 2026Updated 3 weeks ago
- Another way to describe the control state of your Reason UI☆24Jul 24, 2017Updated 8 years ago
- React and ReasonReact starter with SSR☆14May 12, 2021Updated 4 years ago
- An example of using Video.js with ReScript React☆19Updated this week
- A set of reusable ReasonReact hooks.☆31Jul 30, 2020Updated 5 years ago
- Strongly typed declarative markup for the DOM and CSS☆63Jan 4, 2023Updated 3 years ago
- Declarative Bindings for ReasonML☆41Aug 13, 2018Updated 7 years ago
- Elm-inspired state management framework for native Reason☆39Apr 22, 2021Updated 4 years ago
- Type-safe and simple GraphQL library for ReasonML developers.☆96Dec 22, 2022Updated 3 years ago
- Dead simple shared state in Reason React with a redux-like interface.☆19Apr 20, 2019Updated 6 years ago
- Quickly create an opinionated bsconfig.json☆15Mar 30, 2021Updated 4 years ago
- A tool to create demos for your ReScript React components☆57Nov 3, 2023Updated 2 years ago
- TypeScript functional programming (mirror)☆15Jan 20, 2022Updated 4 years ago
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Nov 1, 2016Updated 9 years ago
- An OCaml, ReasonML, and BuckleScript lexer-generator for Unicode inputs☆15Dec 7, 2022Updated 3 years ago
- Next.js PWA using reasonml☆35Dec 9, 2020Updated 5 years ago
- Zero-cost bindings to Facebook's Recoil library☆150Mar 25, 2024Updated last year
- Almost sound Promises for Bucklescript☆79Nov 24, 2018Updated 7 years ago
- Relude interop library for the fetch API☆24Dec 12, 2023Updated 2 years ago
- Experimental web framework for ReasonML & OCaml☆259Oct 4, 2022Updated 3 years ago