Giters

himito / mlgmp

An interface between OCaml and GMP (multiprecision library)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

mlgmp

An interface between OCaml and GMP (multiprecision library)

By David Monniaux

About

An interface between OCaml and GMP (multiprecision library)

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:C 49.1%Language:OCaml 48.7%Language:Makefile 2.2%