4532 search results for "author:" ""

Showing 1251 - 1300
  1. ecaml
    Documentation
    Library for writing Emacs plugin in OCaml
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  2. edn
    Documentation
    Parsing OCaml library for EDN format
    Andrew Rudenko <ceo@prepor.ru>
    0.2.0
    ISC
    Used by 0 other packages
    13 Oct 2022
  3. efl
    Documentation
    An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary.
    Alexis Bernadet <alexis.bernadet at noos.fr>
    1.24.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Jul 2020
  4. ego
    Documentation
    Ego (EGraphs OCaml) is extensible EGraph library for OCaml
    Kiran Gopinathan
    0.0.6
    GPL-3.0-or-later
    Used by 0 other packages
    04 Nov 2021
  5. eigen

    No documentation

    Owl's OCaml interface to Eigen3 C++ library
    Liang Wang
    0.4.0
    MIT
    Used by 1 other packages
    13 Nov 2020
  6. eio
    Documentation
    Effect-based direct-style IO API for OCaml
    Anil Madhavapeddy Thomas Leonard
    1.1
    ISC
    Used by 25 other packages
    29 May 2024
  7. eio-ssl
    Documentation
    OpenSSL binding to EIO
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.3.0
    LicenseRef-LGPL-WITH-OpenSSL-linking-exception
    Used by 1 other packages
    29 Jun 2024
  8. eio-trace
    Documentation
    Trace visualisation for Eio programs
    Thomas Leonard
    0.4
    ISC
    Used by 0 other packages
    14 Sep 2024
  9. eio_linux
    Documentation
    Eio implementation for Linux using io-uring
    Anil Madhavapeddy Thomas Leonard
    1.1
    ISC
    Used by 2 other packages
    29 May 2024
  10. eio_luv

    No documentation

    Eio implementation using luv (libuv)
    Anil Madhavapeddy Thomas Leonard
    0.9
    ISC
    Used by 1 other packages
    12 Apr 2023
  11. eio_main
    Documentation
    Effect-based direct-style IO mainloop for OCaml
    Anil Madhavapeddy Thomas Leonard
    1.1
    ISC
    Used by 27 other packages
    29 May 2024
  12. eio_posix
    Documentation
    Eio implementation for POSIX systems
    Anil Madhavapeddy Thomas Leonard
    1.1
    ISC
    Used by 1 other packages
    29 May 2024
  13. eio_windows

    No documentation

    Eio implementation for Windows
    Anil Madhavapeddy Thomas Leonard
    1.1
    ISC
    Used by 1 other packages
    29 May 2024
  14. either
    Documentation
    Compatibility Either module
    Craig Ferguson <me@craigfe.io>
    1.0.0
    MIT
    Used by 9 other packages
    19 Nov 2020
  15. elasticsearch-cli
    Documentation
    Command-line client for Elasticsearch
    Raman Varabets <roman.vorobets@gmail.com>
    1.2
    Used by 0 other packages
    02 Oct 2020
  16. 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
  17. 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
  18. 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
  19. elpi
    Documentation
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    1.20.0
    LGPL-2.1-or-later
    Used by 1 other packages
    20 Sep 2024
  20. 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
  21. email_message
    Documentation
    E-mail message parser
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. estring
    Documentation
    Extension for string literals
    Jérémie Dimino
    1.3
    BSD-3-Clause
    Used by 2 other packages
    21 Nov 2013
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 25 26 27 ... 91