Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

imandra-ai/verified-react

Automated reasoning for React/ReasonML

Owner: imandra-ai (organization)
Stars: Stars: 119
Forks: Forks: 4
Language: OCaml
License: None
Created: 2018
Topics: imandrareactreasonmlreason-react
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in OCaml

All OCaml repos

maranget/heveaStars: 119OCamlPrototype
dbuenzli/brrStars: 119OCamlPrototype
TheAlgorithms/OCamlStars: 119OCamlPrototype