726 search results for "tag:"R""

Showing 151 - 200
  1. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  2. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  3. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  4. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.3.0
    ISC
    Used by 0 other packages
    30 Apr 2024
  5. dream
    Documentation
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha8
    MIT
    Used by 21 other packages
    05 Dec 2024
  6. dream-html

    No documentation

    HTML generator eDSL for Dream
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    3.11.0
    GPL-3.0-or-later
    Used by 1 other packages
    28 Jun 2025
  7. dream-inertia

    No documentation

    Inertia protocol for OCaml Dream
    inertia dream protocol web
    Joris Gundermann
    0.0.1
    MIT
    Used by 0 other packages
    05 May 2025
  8. dream_middleware_ext
    Documentation
    A collection of middleware utilities for Dream framework
    http web framework middleware
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.0
    MIT
    Used by 0 other packages
    20 Mar 2025
  9. drom
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    03 Jan 2023
  10. drom_lib
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  11. drom_toml
    Documentation
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    03 Jan 2023
  12. dropbox
    Documentation
    Binding to the Dropbox Remote API
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    13 Sep 2019
  13. dropbox_lwt_unix
    Documentation
    Binding to the Dropbox Remote API (Unix)
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    13 Sep 2019
  14. dunolint

    No documentation

    A linter for build files in dune projects
    dune linter
    Mathieu Barbin
    0.0.20250310
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    13 Mar 2025
  15. dunolint-lib

    No documentation

    A library to create dunolint configs
    dune linter
    Mathieu Barbin
    0.0.20250310
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 1 other packages
    13 Mar 2025
  16. dynamic_gc

    No documentation

    Dynamically adjust GC behavior based on memory usage
    garbage collector gc
    Nat Mote <nat@semgrep.com>
    0.2.0
    MIT
    Used by 0 other packages
    28 Apr 2025
  17. dyntype
    Documentation
    syntax extension which makes OCaml types and values easier to manipulate programmatically
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire
    0.9.0
    ISC
    Used by 1 other packages
    21 Nov 2013
  18. electrumAnalyzer
    Documentation
    A tool for the analysis of Electrum formal specifications.
    org:onera
    David Chemouil Julien Brunel Denis Kuperberg
    0.3.5-2
    GPL-3.0-or-later
    Used by 0 other packages
    29 Jul 2016
  19. enumerators
    Documentation
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    07 Nov 2016
  20. erssical
    Documentation
    Converting RSS event feeds to ical
    rss xml ical http
    Zoggy <zoggy@bat8.org>
    1.1.0
    LGPL-3.0-only
    Used by 0 other packages
    15 Dec 2021
  21. esa

    No documentation

    Enhanced Suffix Array
    esa tokenizer llm bioinformatics
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.0
    MIT
    Used by 0 other packages
    10 Jul 2025
  22. esgg
    Documentation
    Elasticsearch guided (code) generator
    org:ahrefs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20190322
    GPL-2.0-only
    Used by 0 other packages
    23 Mar 2019
  23. esperanto
    Documentation
    An OCaml compiler with Cosmopolitan
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.4
    MIT
    Used by 0 other packages
    29 May 2023
  24. esperanto-cosmopolitan
    Documentation
    Cosmopolitan toolchain for OCaml compiler
    org:mirage
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.6
    MIT
    Used by 3 other packages
    13 Aug 2024
  25. ethernet
    Documentation
    OCaml Ethernet (IEEE 802.3) layer, used in MirageOS
    org:mirage
    Anil Madhavapeddy Balraj Singh Richard Mortier Nicolas Ojeda Bar Thomas Gazagnaire et al.
    3.2.0
    ISC
    Used by 6 other packages
    13 Mar 2023
  26. extunix
    Documentation
    Collection of thin bindings to various low-level system API
    org:ygrek
    Andre Nathan Antonin Décimo Dmitry Grebeniuk François Bobot Gerd Stolpmann et al.
    0.4.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    12 Mar 2025
  27. ez_cmdliner
    Documentation
    Easy interface to Cmdliner à la Arg.parse with sub-commands
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    08 Mar 2022
  28. ez_config
    Documentation
    Easy management of configuration files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    08 Mar 2022
  29. ez_file
    Documentation
    Easy file manipulation (read_file, write_file, etc.)
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    08 Mar 2022
  30. ez_opam_file
    Documentation
    Package ez_opam_file is a simple compatibility layer on top of opam-file-format
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    07 Dec 2020
  31. ez_search
    Documentation
    The ez_search library
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Mar 2022
  32. ez_subst
    Documentation
    Ez_subst is a simple module to perform string substitutions
    org:ocamlpro
    Fabrice LE FESSANT <fabrice.le_fessant@origin-labs.com>
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    08 Mar 2022
  33. ezcurl
    Documentation
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.4
    MIT
    Used by 5 other packages
    27 Nov 2023
  34. ezcurl-lwt
    Documentation
    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.2.4
    MIT
    Used by 2 other packages
    27 Nov 2023
  35. ezjsonm
    Documentation
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 57 other packages
    13 Nov 2021
  36. ezjsonm-lwt
    Documentation
    Simple Lwt-based interface to the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 0 other packages
    13 Nov 2021
  37. ezxmlm
    Documentation
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 6 other packages
    02 Feb 2019
  38. FrontC
    Documentation
    Parses C programs to an abstract syntax tree
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 3 other packages
    26 May 2021
  39. farmhash
    Documentation
    Bindings for Google's farmhash library
    org:ahrefs clib:farmhash
    Ahrefs <github@ahrefs.com>
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    21 Jan 2022
  40. fast_bitvector

    No documentation

    A bitvector library
    bitvector bitset
    Stefan Muenzel <source@s.muenzel.net>
    0.1.2.2
    MPL-2.0
    Used by 0 other packages
    23 Jun 2025
  41. fat-filesystem
    Documentation
    Pure OCaml implementation of the FAT filesystem
    org:mirage org:xapi-project
    Dave Scott Anil Madhavapeddy
    0.15.1
    ISC
    Used by 0 other packages
    11 Apr 2022
  42. fd-send-recv
    Documentation
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    07 Dec 2022
  43. fiat-p256
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Fiat
    org:mirage
    Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
    0.2.3
    MIT
    Used by 1 other packages
    03 Nov 2020
  44. file-rewriter

    No documentation

    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 3 other packages
    30 Sep 2024
  45. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.10.0
    ISC
    Used by 364 other packages
    10 Mar 2025
  46. fontforge-of-ocaml
    Documentation
    OCaml binding of FontForge
    font fontforge binding
    Patrick Baudin
    1.1.0
    LGPL-2.1-only
    Used by 0 other packages
    05 Apr 2022
  47. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 97 other packages
    08 Sep 2020
  48. fpath-base

    No documentation

    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.3.1
    MIT
    Used by 4 other packages
    27 May 2025
  49. fpath-sexp0

    No documentation

    Adds Fpath.sexp_of_t and defines 3 new modules: Fsegment, Absolute_path and Relative_path
    fpath absolute-paths relative-paths
    Mathieu Barbin
    0.3.1
    MIT
    Used by 10 other packages
    27 May 2025
  50. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
... 3 4 5 ... 15