715 search results for "tag:"R""

Showing 151 - 200
  1. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 7 other packages
    24 Jun 2024
  2. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  3. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. dream-html

    No documentation

    HTML generator eDSL for Dream
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    3.10.1
    GPL-3.0-or-later
    Used by 1 other packages
    22 Apr 2025
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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 10 other packages
    13 Mar 2023
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. ezcurl
    Documentation
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.4
    MIT
    Used by 5 other packages
    27 Nov 2023
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. fast_bitvector

    No documentation

    A bitvector library
    bitvector bitset
    Stefan Muenzel <source@s.muenzel.net>
    0.0.3.1
    MPL-2.0
    Used by 0 other packages
    01 May 2025
  43. 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
  44. 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
  45. 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 2 other packages
    03 Nov 2020
  46. 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 2 other packages
    30 Sep 2024
  47. 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
  48. 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
  49. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 89 other packages
    08 Sep 2020
  50. 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.2.2
    MIT
    Used by 2 other packages
    18 Oct 2024
... 3 4 5 ... 15