4605 search results for "author:" ""

Showing 1301 - 1350
  1. electrod
    Documentation
    Formal analysis for the Electrod formal pivot language
    David Chemouil Julien Brunel
    1.0.0
    MPL-2.0
    Used by 0 other packages
    11 Jan 2021
  2. 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
  3. elina
    Documentation
    ETH LIBRARY FOR NUMERICAL ANALYSIS
    Gagandeep Singh Markus Püschel Martin Vechev
    1.3.2
    LGPL-3.0-only
    Used by 0 other packages
    19 Sep 2021
  4. elpi
    Documentation
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    2.0.2
    LGPL-2.1-or-later
    Used by 1 other packages
    26 Nov 2024
  5. elpi-option-legacy-parser
    Documentation
    ELPI - option for legacy parser
    Enrico Tassi
    1
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Apr 2022
  6. email_message
    Documentation
    E-mail message parser
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  7. embedded_ocaml_templates
    Documentation
    EML is a simple templating language that lets you generate text with plain OCaml
    Emile Trotignon <emile.trotignon@gmail.com>
    0.8
    MIT
    Used by 0 other packages
    31 Mar 2023
  8. emile
    Documentation
    Parser of email address according RFC822
    Romain Calascibetta <romain.calascibetta@gmail.com>
    1.1
    MIT
    Used by 9 other packages
    20 Nov 2020
  9. emoji
    Documentation
    Use emojis by name
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.1.0
    BSD-3-Clause
    Used by 0 other packages
    15 Feb 2017
  10. encoding
    Documentation
    Smt encoding library
    Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>
    0.0.4
    GPL-3.0-only
    Used by 0 other packages
    05 Mar 2024
  11. encore

    No documentation

    Library to generate encoder/decoder which ensure isomorphism
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.8
    MIT
    Used by 2 other packages
    18 Mar 2021
  12. enumerate

    No documentation

    Quotation expanders for enumerating finite types.
    Jane Street Group, LLC
    111.08.00
    Apache-2.0
    Used by 2 other packages
    07 Apr 2014
  13. 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
  14. env_config
    Documentation
    Helper library for retrieving configuration from an environment variable
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  15. epictetus
    Documentation
    Elegant Printer of Insanely Complex Tables Expressing Trees with Uneven Shapes
    Marc Chevalier <github@marc-chevalier.com>
    3.1.1
    MIT
    Used by 0 other packages
    28 Jun 2022
  16. eprover

    No documentation

    E Theorem Prover
    Stephan Schulz Simon Cruanes Petar Vukmirovic Mohamed Bassem Martin Moehrmann
    3.1
    LGPL-2.1-or-later OR GPL-2.0-or-later
    Used by 0 other packages
    13 May 2024
  17. eqaf
    Documentation
    Constant-time equal function on string
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.10
    MIT
    Used by 13 other packages
    26 Jun 2024
  18. eqaf-cstruct
    Documentation
    Constant-time equal function on string
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.10
    MIT
    Used by 0 other packages
    26 Jun 2024
  19. equinoxe
    Documentation
    An OCaml wrapper for the Equinix API
    Étienne Marais <etienne@maiste.fr>
    0.2.0
    MIT
    Used by 2 other packages
    17 Feb 2022
  20. equinoxe-cohttp
    Documentation
    Equinoxe with the cohttp-lwt-unix request handler
    Étienne Marais <etienne@maiste.fr>
    0.2.0
    MIT
    Used by 0 other packages
    17 Feb 2022
  21. equinoxe-hlc
    Documentation
    Equinoxe with the http-lwt-client request handler
    Étienne Marais <etienne@maiste.fr>
    0.2.0
    MIT
    Used by 0 other packages
    17 Feb 2022
  22. eris

    No documentation

    Encoding for Robust Immutable Storage (ERIS)
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    AGPL-3.0-or-later
    Used by 1 other packages
    01 Sep 2022
  23. eris-lwt

    No documentation

    Lwt bindings to eris
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    AGPL-3.0-or-later
    Used by 0 other packages
    01 Sep 2022
  24. erlang
    Documentation
    Libraries to manipulate Erlang sources
    Leandro Ostera <leandro@ostera.io>
    0.0.14
    Apache-2.0
    Used by 0 other packages
    02 Nov 2020
  25. 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
  26. 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
  27. 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
  28. 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
  29. estring
    Documentation
    Extension for string literals
    Jérémie Dimino
    1.3
    BSD-3-Clause
    Used by 2 other packages
    21 Nov 2013
  30. 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
  31. euler
    Documentation
    An arithmetic library for OCaml's native integers
    Glen Mével <glen.mevel@crans.org>
    0.3
    WTFPL
    Used by 0 other packages
    29 Jun 2024
  32. exenum
    Documentation
    Build efficient enumerations for datatypes. Inspired by Feat for Haskell.
    Didier Le Botlan <github.lebotlan@dfgh.net>
    0.86
    MIT
    Used by 0 other packages
    14 Aug 2018
  33. exit
    Documentation
    Get exit status as declared in `stdlib.h`
    Léo Andrès <contact@ndrs.fr>
    0.0.1
    ISC
    Used by 0 other packages
    26 Nov 2019
  34. expect
    Documentation
    Simple implementation of "expect" to help building unitary testing of interactive program
    Sylvain Le Gall
    0.0.6
    Used by 1 other packages
    01 Jan 2018
  35. expect_test_helpers

    No documentation

    Async helpers for writing expectation tests
    Jane Street Group, LLC
    v0.13.0
    MIT
    Used by 2 other packages
    20 Nov 2019
  36. expect_test_helpers_async
    Documentation
    Async helpers for writing expectation tests
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
  37. expect_test_helpers_core
    Documentation
    Helpers for writing expectation tests
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 15 other packages
    26 May 2024
  38. expect_test_helpers_kernel

    No documentation

    Helpers for writing expectation tests
    Jane Street Group, LLC
    v0.13.0
    MIT
    Used by 3 other packages
    20 Nov 2019
  39. extism
    Documentation
    Extism bindings
    topics wasm plugin
    Extism Authors <oss@extism.org>
    1.3.0
    BSD-3-Clause
    Used by 0 other packages
    24 Jun 2024
  40. extism-manifest
    Documentation
    Extism manifest bindings
    topics wasm plugin
    Extism Authors <oss@extism.org>
    1.3.0
    BSD-3-Clause
    Used by 1 other packages
    24 Jun 2024
  41. extlib
    Documentation
    A complete yet small extension for OCaml standard library
    Nicolas Cannasse Brian Hurt Yamagata Yoriyuki Markus Mottl Jesse Guardiani et al.
    1.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 36 other packages
    19 Sep 2024
  42. extlib-compat
    Documentation
    A complete yet small extension for OCaml standard library (full, compatibility)
    Nicolas Cannasse Brian Hurt Yamagata Yoriyuki Markus Mottl Jesse Guardiani et al.
    1.7.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 24 other packages
    13 Jul 2017
  43. extprot
    Documentation
    Extensible binary protocols for cross-language communication and long-term serialization
    Mauricio Fernandez <mfp@acm.org>
    1.7.0
    MIT
    Used by 0 other packages
    14 Feb 2021
  44. 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.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    13 Aug 2024
  45. ez-conf-lib
    Documentation
    Simple generator of conf-<pkg>.config files
    Nicolas Berthier
    2
    GPL-3.0-only
    Used by 2 other packages
    26 Feb 2024
  46. ez_api
    Documentation
    Easy API library and tools
    Cagdas Bozman <cagdas.bozman@ocamlpro.com> Michael Laporte <michael.laporte@ocamlpro.com> Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com> Maxime Levillain <maxime.levillain@ocamlpro.com> Alain Mebsout <alain.mebsout@ocamlpro.com>
    2.1.0
    LGPL-2.1-only
    Used by 2 other packages
    09 Jul 2024
  47. 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
  48. 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
  49. 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
  50. ez_hash
    Documentation
    Ez hash & crypto utilities
    Fabrice Lefessant Steven de Oliveira
    0.5.3
    LGPL-2.1-only
    Used by 0 other packages
    10 Oct 2022
... 26 27 28 ... 93