4535 search results for "author:" ""

Showing 1951 - 2000
  1. lem
    Documentation
    Lem is a tool for lightweight executable mathematics
    Dominic Mulligan Francesco Zappa Nardelli Gabriel Kerneis Kathy Gray Peter Boehm et al.
    2022-12-10
    BSD-3-Clause; LGPL-2.1-or-later
    Used by 3 other packages
    12 Dec 2022
  2. lemonade
    Documentation
    A monad library with bubbles
    pattern monad
    Michael Grünewald
    0.6.0
    CeCILL-B
    Used by 3 other packages
    30 Jun 2016
  3. lemonade-sqlite
    Documentation
    A monadic interface to sqlite
    sql sqlite monad
    Michael Grünewald
    0.1.0
    CeCILL-B
    Used by 0 other packages
    18 Mar 2016
  4. lens
    Documentation
    Functional lenses
    Alessandro Strada <alessandro.strada@gmail.com>
    1.2.5
    BSD-3-Clause
    Used by 0 other packages
    26 Apr 2021
  5. let-if

    No documentation

    A let%if syntax inspired by Rust's if let syntax
    Reynir Björnsson <reynir@reynir.dk>
    0.3.0
    BSD-2-clause
    Used by 0 other packages
    14 Mar 2022
  6. letsencrypt
    Documentation
    ACME implementation in OCaml
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-clause
    Used by 4 other packages
    05 Sep 2024
  7. letsencrypt-app
    Documentation
    ACME implementation in OCaml
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-clause
    Used by 0 other packages
    05 Sep 2024
  8. letsencrypt-dns
    Documentation
    DNS solver for ACME implementation in OCaml
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-clause
    Used by 1 other packages
    05 Sep 2024
  9. letsencrypt-mirage
    Documentation
    ACME implementation in OCaml for MirageOS
    Michele Mu <maker@tumbolandia.net>, Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-clause
    Used by 0 other packages
    05 Sep 2024
  10. letters
    Documentation
    Client library for sending emails over SMTP
    Miko Nieminen
    0.3.3
    MIT
    Used by 3 other packages
    25 Jul 2023
  11. levenshtein
    Documentation
    Levenshtein distance algorithm for general array
    Jun Furuse
    1.1.3
    Used by 0 other packages
    17 Jan 2018
  12. lib_parsing
    Documentation
    Small library to help writing parsers
    Yoann Padioleau <pad@r2c.dev>
    1.12.0
    LGPL-2.1-only
    Used by 1 other packages
    20 Feb 2023
  13. libabsolute
    Documentation
    Libabsolute
    Marie Pelleau <marie.pelleau@i3s.unice.fr> Ghiles Ziat <ghiles.ziat@lip6.fr>
    0.1
    LGPL-3.0-or-later
    Used by 1 other packages
    13 Dec 2022
  14. libbinaryen
    Documentation
    Libbinaryen packaged for OCaml
    Blaine Bublitz
    115.0.0
    Apache-2.0
    Used by 0 other packages
    16 Nov 2023
  15. libbpf

    No documentation

    Libbpf bindings
    bindings bpf libbpf
    Lee Koon Wen
    0.1.0
    ISC; BSD-3-Clause
    Used by 2 other packages
    05 Jul 2024
  16. libbpf_maps

    No documentation

    Libbpf maps API
    bindings bpf libbpf
    Lee Koon Wen
    0.1.0
    ISC; BSD-3-Clause
    Used by 1 other packages
    05 Jul 2024
  17. libc
    Documentation
    Raw definitions and bindings to platforms system libraries
    libc platform bindings raw bindings
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    15 Feb 2024
  18. libdash
    Documentation
    Bindings to the dash shell's parser
    Michael Greenberg <michael.greenberg@pomona.edu>
    0.3
    BSD-3-Clause
    Used by 0 other packages
    29 Jul 2022
  19. libevent
    Documentation
    OCaml wrapper for the libevent API
    org:ygrek
    Maas-Maarten Zeeman <mmzeeman@xs4all.nl> ygrek <ygrek@autistici.org>
    0.9.0
    BSD-3-Clause
    Used by 1 other packages
    03 May 2024
  20. libirmin
    Documentation
    C bindings for irmin
    Zach Shipko
    3.9.0
    ISC
    Used by 0 other packages
    11 Oct 2023
  21. libra-tk

    No documentation

    Learning and inference with discrete probabilistic models
    clib:expat
    Daniel Lowd <lowd@cs.uoregon.edu> Amirmohammad (Pedram) Rooshenas <pedram@cs.uoregon.edu>
    1.1.2
    BSD-2-clause
    Used by 0 other packages
    17 Jun 2015
  22. libsail
    Documentation
    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 10 other packages
    07 Aug 2024
  23. libssh

    No documentation

    Bindings to libssh
    clib:ssh
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.1
    BSD-3-Clause
    Used by 1 other packages
    27 Sep 2015
  24. libsvm
    Documentation
    LIBSVM bindings for OCaml
    Dominik Brugger <dominikbrugger@fastmail.fm> Oliver Gu <gu.oliver@yahoo.com> Philippe Veber <philippe.veber@gmail.com>
    0.10.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    06 Sep 2019
  25. libtensorflow
    Documentation
    TensorFlow library package
    Laurent Mazare
    0.1
    Used by 1 other packages
    11 Dec 2018
  26. libtorch
    Documentation
    CPU-only binaries for torch
    Jane Street Group, LLC
    2.2.1+linux-x86_64
    MIT
    Used by 1 other packages
    27 Feb 2024
  27. libudev
    Documentation
    Bindings to libudev for OCaml
    Armael <armael@isomorphis.me>
    0.2.1
    MIT
    Used by 0 other packages
    22 Oct 2017
  28. libvhd

    No documentation

    OCaml bindings for the C library 'libvhd' which allows the manipulation
    org:mirage org:xapi-project
    Jon Ludlam
    0.9.0
    Used by 0 other packages
    21 Nov 2013
  29. libvirt

    No documentation

    Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
    org:mirage org:xapi-project
    Richard W.M. Jones
    0.6.1.4
    Used by 2 other packages
    11 Nov 2015
  30. libwasmtime

    No documentation

    The libwasmtime library package
    Laurent Mazare
    0.22.0+macos-x86_64
    Used by 1 other packages
    13 Jan 2021
  31. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  32. lilac
    Documentation
    Get the value of any field in a YAML file as a string
    library lib lilac yaml
    Shea Newton <lilac@shnewto.dev>
    0.1.1
    MIT
    Used by 0 other packages
    03 Feb 2021
  33. lilis
    Documentation
    Library to Interpret Lindenmayer Systems
    lsystem grammar graphics logo
    Gabriel Radanne
    0.2.1
    MIT
    Used by 0 other packages
    25 Oct 2014
  34. lilv
    Documentation
    Bindings to lilv library for using LV2 audio plugins
    Romain Beauxis <toots@rastageeks.org>
    0.1.0
    LGPL-2.1-only
    Used by 0 other packages
    01 Jul 2021
  35. line-up-words
    Documentation
    Align words in an intelligent way
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  36. line_oriented
    Documentation
    Library to operate on files made of lines of text
    Francois Berenger
    1.3.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    13 Apr 2022
  37. linenoise
    Documentation
    Lightweight readline alternative
    Edgar Aroutiounian <edgar.factorial@gmail.com> Simon Cruanes
    1.5.1
    BSD-3-clause
    Used by 12 other packages
    21 Mar 2024
  38. linkage
    Documentation
    easier plugin loading
    Stephen Dolan
    0.1
    MIT
    Used by 0 other packages
    10 Jan 2017
  39. links
    Documentation
    The Links Programming Language
    The Links Team <links-dev@inf.ed.ac.uk>
    0.9.8
    GPL-3.0-only
    Used by 3 other packages
    21 Nov 2023
  40. links-mysql

    No documentation

    MySQL database driver for the Links Programming Language
    The Links Team <links-dev@inf.ed.ac.uk>
    0.9.8
    GPL-3.0-only
    Used by 0 other packages
    21 Nov 2023
  41. links-postgresql
    Documentation
    Postgresql database driver for the Links Programming Language
    The Links Team <links-dev@inf.ed.ac.uk>
    0.9.8
    GPL-3.0-only
    Used by 0 other packages
    21 Nov 2023
  42. links-sqlite3
    Documentation
    SQLite database driver for the Links Programming Language
    The Links Team <links-dev@inf.ed.ac.uk>
    0.9.8
    GPL-3.0-only
    Used by 0 other packages
    21 Nov 2023
  43. linksem
    Documentation
    A formalisation of the core ELF and DWARF file formats written in Lem
    Stephen Kell Dominic Mulligan Peter Sewell
    0.8
    BSD-2-Clause
    Used by 2 other packages
    12 Dec 2022
  44. linol
    Documentation
    LSP server library
    Simon Cruanes
    0.6
    MIT
    Used by 2 other packages
    03 Jun 2024
  45. linol-eio
    Documentation
    LSP server library (with Eio for concurrency)
    Nick Hu
    0.6
    MIT
    Used by 0 other packages
    03 Jun 2024
  46. linol-lwt
    Documentation
    LSP server library (with Lwt for concurrency)
    Simon Cruanes
    0.6
    MIT
    Used by 0 other packages
    03 Jun 2024
  47. lintcstubs
    Documentation
    OCaml C stub static analyzer
    Edwin Török <edwin.torok@cloud.com>
    0.4.7
    LGPL-2.1-or-later
    Used by 0 other packages
    13 Sep 2023
  48. lintcstubs-arity
    Documentation
    Generate headers for C bindings
    Edwin Török <edwin.torok@cloud.com>
    0.4.1
    LGPL-2.1-or-later
    Used by 1 other packages
    11 Sep 2023
  49. lintcstubs-gen
    Documentation
    OCaml C stub wrapper generator
    Edwin Török <edwin.torok@cloud.com>
    0.4.7
    LGPL-2.1-or-later
    Used by 1 other packages
    13 Sep 2023
  50. linwrap
    Documentation
    Wrapper on top of liblinear-tools
    Francois Berenger
    9.2.0
    BSD-3-Clause
    Used by 0 other packages
    22 Apr 2024
... 39 40 41 ... 91