AlphaUncommon
mukul-rathi/bolt
Bolt is a language with in-built data-race freedom!
- Owner
- mukul-rathi (personal account)
- Stars
- Stars: 605
- Forks
- Forks: 53
- Language
- OCaml
- License
- MIT
- Created
- 2019
- Topics
- compilersdata-race-freedomtypesconcurrencystatic-analysislanguage
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in OCaml
All OCaml repos- artagnon/rhine-mlStars: 633OCamlAlpha
- reasonml-old/reason-reactStars: 628OCamlAlpha
- andreas/ocaml-graphql-serverStars: 617OCamlAlpha
- caffeinelabs/motokoStars: 592OCamlAlpha
- 0install/0installStars: 583OCamlAlpha
- jrh13/hol-lightStars: 563OCamlAlpha