imandra-ai / verified-react

Related projects ⓘ

Alternatives and complementary repositories for verified-react

• Astrocoders / lenses-ppx
  GADT lenses
  ☆104Updated 3 years ago
• Risto-Stevcev / bs-declaredom
  Strongly typed declarative markup for the DOM and CSS
  ☆64Updated last year
• reasonml-community / bs-socket.io
  Bindings to socket.io
  ☆50Updated last year
• reazen / relude-reason-react
  Relude-based utilities for ReasonReact
  ☆54Updated last year
• ml-in-barcelona / jsoo-react
  js_of_ocaml bindings for ReactJS. Based on ReasonReact.
  ☆137Updated last year
• Risto-Stevcev / bastet
  A ReasonML/Ocaml library for category theory and abstract algebra
  ☆211Updated last year
• jaredly / let-anything
  Deprecated, use the reasonml-community one
  ☆98Updated 5 years ago
• Dean177 / reason-standard
  An easy-to-use, comprehensive, and safe standard library enhancement for Reason and OCaml.
  ☆52Updated last year
• leostera / reactor
  🚀 Native Actors for Reason and OCaml
  ☆70Updated 5 years ago
• utkarshkukreti / reaml
  A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml…
  ☆98Updated last year
• briskml / brisk-reconciler
  React.js-like reconciler implemented in OCaml/Reason
  ☆131Updated 3 years ago
• jaredly / reason-macros
  Template-based macros for Reason/OCaml
  ☆105Updated 5 years ago
• reasonml-community / bsdoc
  📚 Documentation Generator for BuckleScript
  ☆46Updated 4 years ago
• jaredly / redoc
  A clean & easy documentation generator for reason/bucklescript/ocaml
  ☆116Updated 5 years ago
• paulshen / restorative
  Simple ReasonML state management
  ☆100Updated last year
• bsansouci / reasongl
  Reason bindings to WebGL and OpenGL.
  ☆107Updated 3 years ago
• revery-ui / reason-reactify
  Transform a mutable tree into a functional React-like API
  ☆103Updated 5 years ago
• cxa / ppx_bsx
  OCaml JSX for ReasonReact
  ☆70Updated 5 years ago
• yawaramin / prometo
  A type-safe JavaScript promise library for ReasonML
  ☆31Updated 4 years ago
• andreas / ppx_graphql
  Type-safe GraphQL queries in OCaml
  ☆65Updated 4 years ago
• mlms13 / bs-decode
  Type-safe JSON decoding for ReasonML and OCaml
  ☆103Updated 10 months ago
• mattjbray / ocaml-decoders
  Elm-inspired decoders for Ocaml
  ☆84Updated 5 months ago
• rescript-lang / reanalyze
  Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
  ☆274Updated 3 weeks ago
• astrada / ppx_bs_css
  A ppx rewriter for CSS expressions.
  ☆98Updated 2 years ago
• jaredly / js_deep_ppx
  [@js.deep] for immutably updating nested javascript objects in Reason/OCaml
  ☆36Updated 5 years ago
• af / bs-d3
  Experimental d3 5.x bindings for BuckleScript
  ☆43Updated 3 years ago
• ELLIOTTCABLE / bs-deriving
  Type-driven code generation for OCaml, ReasonML, and BuckleScript
  ☆42Updated last year
• sainthkh / reasonql
  Type-safe and simple GraphQL library for ReasonML developers.
  ☆96Updated last year
• ahrefs / hello-native-melange
  Skeleton of a shared library for melange and native OCaml/Reason
  ☆29Updated last year
• zploskey / bs-puppeteer
  Bucklescript bindings for Puppeteer (Headless Chrome Node API) written in ReasonML
  ☆62Updated last year