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 Modelling Language CME MDP Model☆14May 12, 2020Updated 6 years ago
- Imandra FIX Engine☆55Aug 6, 2026Updated 2 months ago
- Imandra Contracts - Formal verification of smart contracts☆31Nov 1, 2016Updated 10 years ago
- Notifications hub☆12Feb 16, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 5 years ago
- Lenses and tracked selectors enhancer and hooks for reductive.☆14Jan 5, 2023Updated 3 years ago
- Template-based macros for Reason/OCaml☆106Aug 3, 2019Updated 7 years ago
- Strongly typed declarative markup for the DOM and CSS☆63Jan 4, 2023Updated 3 years ago
- ☆34Feb 8, 2019Updated 7 years ago
- BuckleScript bindings for styletron-react☆10Aug 13, 2018Updated 8 years ago
- Transform a mutable tree into a functional React-like API☆104May 10, 2019Updated 7 years ago
- Render Props CPS-like composition for ReasonReact☆29Mar 6, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fetch libraries/interface for Reason/OCaml☆52May 18, 2020Updated 6 years ago
- Relude interop library for the fetch API☆24Dec 12, 2023Updated 2 years ago
- A set of reusable ReasonReact hooks.☆31Jul 30, 2020Updated 6 years ago
- Milk 🥛 Stress-free serialization & deserialization for Reason/OCaml☆202Jul 10, 2020Updated 6 years ago
- Deprecated, use the reasonml-community one☆99Nov 20, 2019Updated 6 years ago
- Testing, printing, coloring, and other tools to effectively write native Reason code.☆458May 7, 2024Updated 2 years ago
- FP-inspired prelude/standard library for ReasonML projects☆267Jan 21, 2026Updated 9 months ago
- Ramda inspired library of helper functions for ReasonML☆276Jan 3, 2023Updated 3 years ago
- ☆12Feb 2, 2019Updated 7 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.
- Imandra ROS☆17Jan 24, 2022Updated 4 years ago
- 📚 Documentation Generator for BuckleScript☆46Oct 27, 2020Updated 6 years ago
- A toolkit for writing servers in ReasonML on top of NodeJS☆16Jan 23, 2023Updated 3 years ago
- ☆20Sep 3, 2024Updated 2 years ago
- 🚀 Native Actors for Reason and OCaml☆70Apr 13, 2019Updated 7 years ago
- Logging implementation for ReScript☆109Feb 28, 2024Updated 2 years ago
- BuckleScript statically typed DSL for CSS (forked from https://github.com/SentiaAnalytics/bs-css)☆14Mar 24, 2022Updated 4 years ago
- [@js.deep] for immutably updating nested javascript objects in Reason/OCaml☆36Jul 2, 2019Updated 7 years ago
- Explorations into reasonably ergonomic lens derivations☆21Apr 9, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Almost sound Promises for Bucklescript☆80Nov 24, 2018Updated 7 years ago
- Effective Esy Packaging Guide☆12Jan 2, 2019Updated 7 years ago
- An OCaml, ReasonML, and BuckleScript lexer-generator for Unicode inputs☆15Dec 7, 2022Updated 3 years ago
- Support Bigint, Q (rational numbers) and Z (integer numbers) in BuckleScript.☆15Dec 2, 2022Updated 3 years ago
- Type-driven code generation for OCaml, ReasonML, and BuckleScript☆41Dec 7, 2022Updated 3 years ago
- Reason + GraphQL Fullstack (Native) experiment with Now 2.0☆21Dec 9, 2018Updated 7 years ago
- Elm-inspired decoders for Ocaml☆85Jan 21, 2026Updated 9 months ago