PrototypeCommon
aatxe/oxide
The essence of Rust.
Archived: this repository is read-only
- Owner
- aatxe (personal account)
- Stars
- Stars: 136
- Forks
- Forks: 4
- Language
- OCaml
- License
- GPL-3.0
- Created
- 2017
- Topics
- rustsemanticsformal-semantics
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by aatxe
All 4 repos by aatxe- aatxe/ircStars: 581RustAlpha
- aatxe/OrpheusStars: 104JavaPrototype
- aatxe/markovStars: 103RustPrototype
Nearby in OCaml
All OCaml repos- mmottl/lacamlStars: 136OCamlPrototype
- OCamlPro/ollvmStars: 136OCamlPrototype
- tarides/opam-monorepoStars: 136OCamlPrototype