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 2 years ago
- Imandra FIX Engine☆55Aug 6, 2026Updated 2 months ago
- Notifications hub☆12Feb 16, 2020Updated 6 years 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☆104Oct 16, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Template-based macros for Reason/OCaml☆106Aug 3, 2019Updated 7 years ago
- Lenses and tracked selectors enhancer and hooks for reductive.☆14Jan 5, 2023Updated 3 years ago
- Strongly typed declarative markup for the DOM and CSS☆63Jan 4, 2023Updated 3 years ago
- Imandra Modelling Language CME MDP Model☆14May 12, 2020Updated 6 years ago
- ☆34Feb 8, 2019Updated 7 years ago
- Transform a mutable tree into a functional React-like API☆104May 10, 2019Updated 7 years ago
- Fetch libraries/interface for Reason/OCaml☆52May 18, 2020Updated 6 years ago
- A set of reusable ReasonReact hooks.☆31Jul 30, 2020Updated 6 years ago
- FP-inspired prelude/standard library for ReasonML projects☆267Jan 21, 2026Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Relude interop library for the fetch API☆24Dec 12, 2023Updated 2 years ago
- 🚀 Native Actors for Reason and OCaml☆70Apr 13, 2019Updated 7 years ago
- ☆12Feb 2, 2019Updated 7 years ago
- Testing, printing, coloring, and other tools to effectively write native Reason code.☆457May 7, 2024Updated 2 years ago
- A toolkit for writing servers in ReasonML on top of NodeJS☆16Jan 23, 2023Updated 3 years ago
- Almost sound Promises for Bucklescript☆80Nov 24, 2018Updated 7 years ago
- An OCaml, ReasonML, and BuckleScript lexer-generator for Unicode inputs☆15Dec 7, 2022Updated 3 years ago
- Milk 🥛 Stress-free serialization & deserialization for Reason/OCaml☆202Jul 10, 2020Updated 6 years ago
- A datetime library for the ages in ReasonML☆12Mar 4, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml☆204Dec 19, 2019Updated 6 years ago
- Effective Esy Packaging Guide☆12Jan 2, 2019Updated 7 years ago
- Reason + GraphQL Fullstack (Native) experiment with Now 2.0☆21Dec 9, 2018Updated 7 years ago
- ☆20Sep 3, 2024Updated 2 years ago
- Elm-inspired state management framework for native Reason☆39Apr 22, 2021Updated 5 years ago
- ☆16Apr 14, 2018Updated 8 years ago
- [@js.deep] for immutably updating nested javascript objects in Reason/OCaml☆36Jul 2, 2019Updated 7 years ago
- This is just Reason repacked into a binary for easy use with BuckleScript.☆26Aug 12, 2020Updated 6 years ago
- Imandra Contracts - Formal verification of smart contracts☆31Nov 1, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Deprecated, use the reasonml-community one☆99Nov 20, 2019Updated 6 years ago
- Type-safe and simple GraphQL library for ReasonML developers.☆96Dec 22, 2022Updated 3 years ago
- Ramda inspired library of helper functions for ReasonML☆275Jan 3, 2023Updated 3 years ago
- Support Bigint, Q (rational numbers) and Z (integer numbers) in BuckleScript.☆15Dec 2, 2022Updated 3 years ago
- Elm-inspired decoders for Ocaml☆85Jan 21, 2026Updated 8 months ago
- Experimental web framework for ReasonML & OCaml☆258Oct 4, 2022Updated 4 years ago
- Parse CSV strings in ReasonML☆12Jan 5, 2023Updated 3 years ago