ocaml / ZarithLinks
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
☆251Updated 8 months ago
Alternatives and similar repositories for Zarith
Users that are interested in Zarith are comparing it to the libraries listed below
Sorting:
- Low-level JSON parsing and pretty-printing library for OCaml☆356Updated 2 months ago
- Parallel Programming over Domains☆178Updated 5 months ago
- An OCaml lexer generator for Unicode☆262Updated 3 weeks ago
- OCaml graph library☆242Updated last week
- QuickCheck inspired property-based testing for OCaml.☆385Updated last month
- A hands-on tutorial on the new parallelism features in OCaml 5☆211Updated last year
- Design discussions about the OCaml language☆167Updated 7 months ago
- Library for binding to C libraries using pure OCaml☆397Updated last month
- Documentation compiler for OCaml and Reason☆339Updated last month
- Base library and tools for ppx rewriters☆273Updated this week
- Declarative definition of command line interfaces for OCaml☆327Updated last week
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆243Updated 2 weeks ago
- A tool-agnostic formal specification language for OCaml.☆149Updated last week
- drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with…☆195Updated 6 months ago
- Lock-free data structures for multicore OCaml☆251Updated 4 months ago
- Documentation of everything relevant in the OCaml world☆189Updated 3 weeks ago
- Type-driven code generation for OCaml☆502Updated 2 months ago
- A lightweight and colourful test framework☆492Updated this week
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆509Updated 2 months ago
- ☆96Updated last month
- OCaml bindings to the SQLite3 database☆125Updated last month
- Terminal manipulation library for OCaml☆223Updated 3 weeks ago
- GitHub Action for the OCaml programming language☆217Updated last week
- Progress bar library for OCaml☆141Updated last week
- Cram like framework for OCaml☆172Updated this week
- Syntax extension for writing in-line tests in ocaml code☆140Updated this week
- OCaml debug adapter☆220Updated 2 weeks ago
- OCaml bindings for Python☆199Updated 2 months ago
- Formal verification for OCaml☆267Updated last year
- A style guide for OCaml☆111Updated last year