PrototypeCommon
GillianPlatform/Gillian
The Gillian Platform main repository
- Owner
- GillianPlatform (organization)
- Stars
- Stars: 104
- Forks
- Forks: 25
- Language
- OCaml
- License
- BSD-3-Clause
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- revery-ui/reason-reactifyStars: 104OCamlPrototype
- aryx/codemapStars: 104OCamlPrototype
- rems-project/cerberusStars: 104OCamlPrototype
- ocsigen/ocsigenserverStars: 104OCamlPrototype