GitHub - bobot/ocaml-flint · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
configure		configure
src		src
tests		tests
.gitignore		.gitignore
.ocamlformat		.ocamlformat
CHANGES		CHANGES
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
dune		dune
dune-project		dune-project
flint.opam		flint.opam
opam.template		opam.template

Repository files navigation

OCaml stubs for Flint2, Arb, Antic, Calcium

Stubs for the libraries:

Currently only a few functions are binded. Mainly to be able to use the calcium library.

About

No description, website, or topics provided.

LGPL-2.1 license

6 stars

3 watching

Report repository

Releases

Packages

Used by

Contributors

Languages