Drup / zarith-ppxLinks
Literals for Zarith's arbitrary-precision integers and rationals
☆12Updated 3 years ago
Alternatives and similar repositories for zarith-ppx
Users that are interested in zarith-ppx are comparing it to the libraries listed below
Sorting:
- A small command-line tool to help with mechanical edition of opam files☆10Updated 2 years ago
- Exploring the corners of OCaml type system☆18Updated 3 years ago
- A quirky object oriented standard library for ocaml☆17Updated 4 years ago
- Define your Dream router with Routes☆19Updated last month
- OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.☆20Updated 3 years ago
- Co-operative allocation of domains for OCaml☆14Updated 2 years ago
- Interacting with cron from OCaml☆14Updated 3 years ago
- Very simple gzip library for OCaml☆22Updated 4 years ago
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 7 months ago
- Distribute/marshal instances of ocaml extensible variant types and exceptions☆16Updated 8 years ago
- QOI image codec for OCaml (unreleased)☆11Updated 10 months ago
- Dissect OCaml compiled programs, and weight their content☆25Updated 2 years ago
- ☆20Updated 6 years ago
- a distributed computing library for OCaml☆24Updated last year
- U2F (FIDO Universal 2nd Factor) in OCaml☆25Updated 11 months ago
- Convert file extensions to MIME types☆23Updated last year
- Format string experimentations☆13Updated 4 years ago
- ☆13Updated last month
- OpenSSL bindings to OCaml EIO☆20Updated last year
- Serialization formats toolkit for OCaml (unreleased)☆13Updated last year
- Efficient caching library for OCaml☆33Updated last year
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆29Updated 2 years ago
- A dynamic way to instantiate an OCaml flow☆17Updated last year
- OCaml bindings to Windows' IOCP API☆16Updated 2 years ago
- ☆14Updated last year
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Updated 6 months ago
- Self-adjusting computations☆22Updated last year
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 3 years ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Updated last year