BêtaRare
andrejbauer/plzoo
Programming Languages Zoo
- Propriétaire
- andrejbauer (compte personnel)
- Étoiles
- Étoiles : 1 600
- Forks
- Forks : 105
- Langage
- OCaml
- Licence
- MIT
- Création
- 2013
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de andrejbauer
Les 4 dépôts de andrejbauer- andrejbauer/homotopy-type-theory-courseÉtoiles : 314TeXAlpha
- andrejbauer/spartan-type-theoryÉtoiles : 277OCamlAlpha
- andrejbauer/marshallÉtoiles : 128OCamlPrototype
D’autres dépôts OCaml
Tous les dépôts OCaml- ocaml/merlinÉtoiles : 1 710OCamlBêta
- tomprimozic/type-systemsÉtoiles : 1 605OCamlBêta
- austral/australÉtoiles : 1 602OCamlBêta
- janestreet/incrementalÉtoiles : 1 529OCamlBêta
- janestreet/bonsaiÉtoiles : 1 424OCamlBêta
- ocaml/opamÉtoiles : 1 387OCamlBêta