Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/coq-community/bignums
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
https://github.com/coq-community/bignums
coq coq-ci coq-platform coq-plugin docker-coq-action large-numbers
Last synced: about 1 month ago
JSON representation
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- Host: GitHub
- URL: https://github.com/coq-community/bignums
- Owner: coq-community
- License: lgpl-2.1
- Created: 2017-05-31T12:53:33.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2024-07-23T14:44:26.000Z (6 months ago)
- Last Synced: 2024-10-30T01:43:36.454Z (3 months ago)
- Topics: coq, coq-ci, coq-platform, coq-plugin, docker-coq-action, large-numbers
- Language: Coq
- Homepage:
- Size: 703 KB
- Stars: 22
- Watchers: 15
- Forks: 22
- Open Issues: 3
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
- awesome-coq - Bignums - Library of arbitrarily large numbers. (Projects / Libraries)
README
# Bignums
[![Docker CI][docker-action-shield]][docker-action-link]
[![Contributing][contributing-shield]][contributing-link]
[![Code of Conduct][conduct-shield]][conduct-link]
[![Zulip][zulip-shield]][zulip-link]
[docker-action-shield]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml/badge.svg?branch=master
[docker-action-link]: https://github.com/coq-community/bignums/actions/workflows/docker-action.yml
[contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
[contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
[conduct-shield]: https://img.shields.io/badge/%E2%9D%A4-code%20of%20conduct-%23f15a24.svg
[conduct-link]: https://github.com/coq-community/manifesto/blob/master/CODE_OF_CONDUCT.md
[zulip-shield]: https://img.shields.io/badge/chat-on%20zulip-%23c1272d.svg
[zulip-link]: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users
This Coq library provides BigN, BigZ, and BigQ that used to
be part of the standard library.
## Meta
- Author(s):
- Laurent Théry
- Benjamin Grégoire
- Arnaud Spiwack
- Evgeny Makarov
- Pierre Letouzey
- Coq-community maintainer(s):
- Pierre Roux ([**@proux01**](https://github.com/proux01))
- Érik Martin-Dorel ([**@erikmd**](https://github.com/erikmd))
- License: [GNU Lesser General Public License v2.1](LICENSE)
- Compatible Coq versions: master (use the corresponding branch or release for other Coq versions)
- Compatible OCaml versions: all versions supported by Coq
- Additional dependencies: none
- Coq namespace: `Bignums`
- Related publication(s): none
## Building and installation instructions
The easiest way to install the latest released version of Bignums
is via [OPAM](https://opam.ocaml.org/doc/Install.html):
```shell
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-bignums
```
To instead build and install manually, do:
``` shell
git clone https://github.com/coq-community/bignums.git
cd bignums
make # or make -j
make install
```