PrototypeCommune
andrejbauer/marshall
Real number computation software
- Propriétaire
- andrejbauer (compte personnel)
- Étoiles
- Étoiles : 128
- Forks
- Forks : 14
- Langage
- OCaml
- Licence
- BSD-2-Clause
- Création
- 2012
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de andrejbauer
Les 4 dépôts de andrejbauer- andrejbauer/plzooÉtoiles : 1 600OCamlBêta
- andrejbauer/homotopy-type-theory-courseÉtoiles : 314TeXAlpha
- andrejbauer/spartan-type-theoryÉtoiles : 277OCamlAlpha
D’autres dépôts OCaml
Tous les dépôts OCaml- janestreet/strace_uiÉtoiles : 129OCamlPrototype
- c-cube/iterÉtoiles : 128OCamlPrototype
- smolkaj/nice-parserÉtoiles : 128OCamlPrototype
- mfp/ocsiblogÉtoiles : 127OCamlPrototype
- ocaml-multicore/reagentsÉtoiles : 127OCamlPrototype