PrototypeCommune
iec-checker/iec-checker
Static analysis of IEC 61131-3 programs
- Propriétaire
- iec-checker (organisation)
- Étoiles
- Étoiles : 109
- Forks
- Forks : 20
- Langage
- OCaml
- Licence
- LGPL-3.0
- Création
- 2020
- Sujets
- iec61131-3static-analysisstructured-textocamlplcindustrial-automationprogram-analysisics
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- ocamllabs/ocaml-modular-implicitsÉtoiles : 109OCamlPrototype
- chenglou/jeasonÉtoiles : 109OCamlPrototype
- bsansouci/reasonglÉtoiles : 109OCamlPrototype
- sgimenez/labyÉtoiles : 109OCamlPrototype