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.
☆255Updated 11 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☆360Updated 5 months ago
- Design discussions about the OCaml language☆171Updated 3 weeks ago
- Parallel Programming over Domains☆183Updated 2 weeks ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆213Updated last year
- OCaml graph library☆244Updated 2 months ago
- Base library and tools for ppx rewriters☆279Updated last month
- QuickCheck inspired property-based testing for OCaml.☆391Updated last week
- Documentation compiler for OCaml and Reason☆344Updated 3 weeks ago
- An OCaml lexer generator for Unicode☆263Updated last month
- Library for binding to C libraries using pure OCaml☆402Updated 2 months ago
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆252Updated last month
- Terminal manipulation library for OCaml☆225Updated 3 months ago
- Declarative definition of command line interfaces for OCaml☆325Updated 2 weeks ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆515Updated 2 weeks ago
- Documentation of everything relevant in the OCaml world☆193Updated 2 weeks ago
- Type-driven code generation for OCaml☆505Updated 5 months ago
- Lock-free data structures for multicore OCaml☆259Updated 7 months ago
- 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…☆197Updated 2 months ago
- OCaml bindings for Python☆201Updated 4 months ago
- A lightweight and colourful test framework☆501Updated 2 weeks ago
- GitHub Action for the OCaml programming language☆220Updated last week
- A tool-agnostic formal specification language for OCaml.☆154Updated 3 weeks ago
- Indentation tool for OCaml, to be used from editors like Emacs and Vim.☆214Updated 3 months ago
- Code coverage for OCaml and ReScript☆315Updated 2 months ago
- Declarative terminal graphics for OCaml☆373Updated last year
- Self-contained monadic parser combinators for OCaml☆150Updated 2 years ago
- Automated S-expression conversion☆172Updated last month
- OCaml debug adapter☆226Updated last month
- OCaml bindings to the SQLite3 database☆128Updated last month
- A Web Application for Learning OCaml☆323Updated last month