BetaRare
rems-project/sail
Sail architecture definition language
- Owner
- rems-project (organization)
- Stars
- Stars: 963
- Forks
- Forks: 174
- Language
- Sail
- License
- None
- Created
- 2018
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by rems-project
All 4 repos by rems-project- rems-project/lemStars: 166OCamlPrototype
- rems-project/cerberusStars: 104OCamlPrototype
- rems-project/islaStars: 101RustPrototype
Nearby in Sail
All Sail repos- riscv/sail-riscvStars: 790SailBeta