Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/chris00/ocaml-interval

computer-assisted-proof interval-arithmetic ocaml rigorous scientific-computing validated

Last synced: 15 days ago
JSON representation

An interval library for OCaml

Host: GitHub
URL: https://github.com/chris00/ocaml-interval
Owner: Chris00
License: lgpl-3.0
Created: 2017-08-11T11:26:15.000Z (over 7 years ago)
Default Branch: master
Last Pushed: 2022-12-09T07:47:27.000Z (almost 2 years ago)
Last Synced: 2024-05-09T23:22:31.564Z (6 months ago)
Topics: computer-assisted-proof, interval-arithmetic, ocaml, rigorous, scientific-computing, validated
Language: OCaml
Homepage:
Size: 423 KB
Stars: 16
Watchers: 4
Forks: 3
Open Issues: 1