AlphaPeu commune
mukul-rathi/bolt
Bolt is a language with in-built data-race freedom!
- Propriétaire
- mukul-rathi (compte personnel)
- Étoiles
- Étoiles : 605
- Forks
- Forks : 53
- Langage
- OCaml
- Licence
- MIT
- Création
- 2019
- Sujets
- compilersdata-race-freedomtypesconcurrencystatic-analysislanguage
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- artagnon/rhine-mlÉtoiles : 633OCamlAlpha
- reasonml-old/reason-reactÉtoiles : 628OCamlAlpha
- andreas/ocaml-graphql-serverÉtoiles : 617OCamlAlpha
- caffeinelabs/motokoÉtoiles : 592OCamlAlpha
- 0install/0installÉtoiles : 583OCamlAlpha
- jrh13/hol-lightÉtoiles : 563OCamlAlpha