PrototypeCommon
PLSysSec/FaCT
Flexible and Constant Time Programming Language
- Owner
- PLSysSec (organization)
- Stars
- Stars: 210
- Forks
- Forks: 15
- Language
- OCaml
- License
- BSD-3-Clause
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by PLSysSec
All 4 repos by PLSysSec- PLSysSec/haybaleStars: 609RustAlpha
- PLSysSec/rlboxStars: 320C++Alpha
- PLSysSec/sysStars: 238LLVMPrototype
Nearby in OCaml
All OCaml repos- mfp/extprotStars: 212OCamlPrototype
- rocq-community/rocq-lspStars: 212OCamlPrototype
- LexiFi/ocaml-vdomStars: 210OCamlPrototype
- stedolan/mlsubStars: 209OCamlPrototype
- cyrus-/relitStars: 209OCamlPrototype
- darklang/philip2Stars: 209OCamlPrototype