PrototypeCommune
PLSysSec/FaCT
Flexible and Constant Time Programming Language
- Propriétaire
- PLSysSec (organisation)
- Étoiles
- Étoiles : 210
- Forks
- Forks : 15
- Langage
- OCaml
- Licence
- BSD-3-Clause
- Création
- 2016
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de PLSysSec
Les 4 dépôts de PLSysSec- PLSysSec/haybaleÉtoiles : 609RustAlpha
- PLSysSec/rlboxÉtoiles : 320C++Alpha
- PLSysSec/sysÉtoiles : 238LLVMPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- mfp/extprotÉtoiles : 212OCamlPrototype
- rocq-community/rocq-lspÉtoiles : 212OCamlPrototype
- LexiFi/ocaml-vdomÉtoiles : 210OCamlPrototype
- stedolan/mlsubÉtoiles : 209OCamlPrototype
- cyrus-/relitÉtoiles : 209OCamlPrototype
- darklang/philip2Étoiles : 209OCamlPrototype