PrototypeCommon
andrejbauer/marshall
Real number computation software
- Owner
- andrejbauer (personal account)
- Stars
- Stars: 128
- Forks
- Forks: 14
- Language
- OCaml
- License
- BSD-2-Clause
- Created
- 2012
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by andrejbauer
All 4 repos by andrejbauer- andrejbauer/plzooStars: 1,600OCamlBeta
- andrejbauer/homotopy-type-theory-courseStars: 314TeXAlpha
- andrejbauer/spartan-type-theoryStars: 277OCamlAlpha
Nearby in OCaml
All OCaml repos- janestreet/strace_uiStars: 129OCamlPrototype
- c-cube/iterStars: 128OCamlPrototype
- smolkaj/nice-parserStars: 128OCamlPrototype
- mfp/ocsiblogStars: 127OCamlPrototype
- ocaml-multicore/reagentsStars: 127OCamlPrototype