PrototypeCommune
imandra-ai/verified-react
Automated reasoning for React/ReasonML
- Propriétaire
- imandra-ai (organisation)
- Étoiles
- Étoiles : 119
- Forks
- Forks : 4
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2018
- Sujets
- imandrareactreasonmlreason-react
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- maranget/heveaÉtoiles : 119OCamlPrototype
- dbuenzli/brrÉtoiles : 119OCamlPrototype
- TheAlgorithms/OCamlÉtoiles : 119OCamlPrototype