4274 search results for "author:" ""

Showing 3551 - 3600
  1. sihl-queue
    Documentation
    Queue service implementations for Sihl
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 0 other packages
    30 Nov 2022
  2. sihl-session
    Documentation
    Sihl service to deal with sessions
    Josef Erben Aron Erben Miko Nieminen
    0.3.0~rc1
    MIT
    Used by 1 other packages
    11 Jan 2021
  3. sihl-storage
    Documentation
    Storage service implementations for Sihl
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 0 other packages
    30 Nov 2022
  4. sihl-token
    Documentation
    Token service implementations for Sihl
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 1 other packages
    30 Nov 2022
  5. sihl-type
    Documentation
    Contains Sihl types that are returned by Sihl services
    Josef Erben Aron Erben Miko Nieminen
    0.2.2
    MIT
    Used by 2 other packages
    23 Dec 2020
  6. sihl-user
    Documentation
    User service implementations for Sihl
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 0 other packages
    30 Nov 2022
  7. sihl-web
    Documentation
    Sihl HTTP service and middlewares
    Josef Erben Aron Erben Miko Nieminen
    0.3.0~rc1
    MIT
    Used by 1 other packages
    11 Jan 2021
  8. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  9. simple-diff
    Documentation
    Simple_diff is a pure OCaml diffing algorithm.
    Gabriel Jaldon
    0.3
    ISC
    Used by 0 other packages
    08 Feb 2017
  10. simple63
    Documentation
    Integer compression and decompression module
    Mika Illouz
    1
    BSD
    Used by 0 other packages
    13 Sep 2020
  11. sitemap
    Documentation
    Generate XML sitemaps
    Anil Madhavapeddy <anil@recoil.org>
    1.0
    ISC
    Used by 0 other packages
    24 Jun 2024
  12. sklearn
    Documentation
    Scikit-learn machine learning library for OCaml
    Ronan Le Hy
    sk0.23-0.3.1
    BSD-3-Clause
    Used by 1 other packages
    08 Dec 2020
  13. slack
    Documentation
    Slack API implementation
    Ahrefs <github@ahrefs.com>
    0.1
    MIT
    Used by 0 other packages
    20 Mar 2024
  14. slacko
    Documentation
    Type-safe binding to the Slack API
    Marek Kubica <marek@xivilization.net>
    0.15.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    17 Feb 2019
  15. slap
    Documentation
    A linear algebra library with static size checking for matrix operations
    Akinori ABE <abe@sf.ecei.tohoku.ac.jp>
    4.1.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Jul 2020
  16. slice

    No documentation

    A Slice type for bigstrings and bytes
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1
    MIT
    Used by 1 other packages
    28 Apr 2025
  17. slug
    Documentation
    Url safe slug generator
    Khoa Nguyen
    1.0.1
    MIT
    Used by 2 other packages
    18 Jul 2021
  18. smart-print
    Documentation
    A pretty-printing library in OCaml
    Guillaume Claret <dev@clarus.me>
    0.3.0
    BSD-3-Clause
    Used by 3 other packages
    16 Jun 2020
  19. smaws-clients
    Documentation
    Amazon Web Services SDK clients using EIO
    Chris Armstrong
    0.1~preview1
    MIT
    Used by 0 other packages
    19 Nov 2024
  20. smaws-lib
    Documentation
    Support library for AWS SDKs generated from Smithy definitions
    Chris Armstrong
    0.1~preview1
    MIT
    Used by 1 other packages
    19 Nov 2024
  21. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  22. smol
    Documentation
    Small Math Ocaml Library
    Lucas Randazzo
    0.0.1
    MIT
    Used by 2 other packages
    18 Oct 2021
  23. smol-helpers
    Documentation
    Test helpers for smol
    Lucas Randazzo
    0.0.1
    MIT
    Used by 1 other packages
    18 Oct 2021
  24. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  25. smtml

    No documentation

    An SMT solver frontend for OCaml
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Hichem Rami Ait El Hara <hra@ocamlpro.com> Léo Andrès <contact@ndrs.fr> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.7.0
    MIT
    Used by 1 other packages
    08 May 2025
  26. smtp
    Documentation
    SMTP library with Unix and Lwt backends
    smtp
    Vincent Bernardoff <vb@luminar.eu.org>
    0.3
    ISC
    Used by 0 other packages
    09 Sep 2016
  27. snoke
    Documentation
    Snóke is a good old Snake game with new ideas
    Vu Ngoc San <san.vu-ngoc@laposte.net>
    0.3
    GPL-3.0-or-later
    Used by 0 other packages
    17 Nov 2022
  28. so
    Documentation
    Open file depending on their extension
    Léo Andrès <contact@ndrs.fr>
    0.0.1
    ISC
    Used by 0 other packages
    26 Nov 2019
  29. socketcan
    Documentation
    socketcan
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.12-0
    MIT
    Used by 0 other packages
    09 Nov 2017
  30. sodium
    Documentation
    Binding to libsodium UNAUDITED
    org:mirage
    David Sheets <sheets@alum.mit.edu> Peter Zotov <whitequark@whitequark.org> Benjamin Canou <benjamin@ocamlpro.com>
    0.6.0
    Used by 1 other packages
    18 Apr 2017
  31. sodium-fmt
    Documentation
    Fmt formatters for Sodium
    Victor Schubert
    1.0.0
    GPL-3.0-or-later
    Used by 0 other packages
    20 Apr 2022
  32. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.4.0
    LGPL-3.0-only
    Used by 2 other packages
    19 Dec 2024
  33. solid_server
    Documentation
    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.4.0
    LGPL-3.0-only
    Used by 0 other packages
    19 Dec 2024
  34. solid_tools
    Documentation
    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.4.0
    LGPL-3.0-only
    Used by 0 other packages
    19 Dec 2024
  35. solidity-alcotest
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  36. solidity-common
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    27 Apr 2021
  37. solidity-parser
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Apr 2021
  38. solidity-test
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Apr 2021
  39. solidity-typechecker
    Documentation
    The ocaml-solidity project
    org:OCamlPro
    David Declerck <david.declerck@ocamlpro.com> Steven De Oliveira <steven.de-oliveira@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Apr 2021
  40. solo5
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.9.1
    ISC
    Used by 5 other packages
    06 Mar 2025
  41. solo5-bindings-hvt

    No documentation

    Solo5 sandboxed execution environment (hvt target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  42. solo5-bindings-muen

    No documentation

    Solo5 sandboxed execution environment (muen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  43. solo5-bindings-spt

    No documentation

    Solo5 sandboxed execution environment (spt target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  44. solo5-bindings-virtio

    No documentation

    Solo5 sandboxed execution environment (virtio target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  45. solo5-bindings-xen

    No documentation

    Solo5 sandboxed execution environment (xen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.6.9
    ISC
    Used by 2 other packages
    14 Dec 2021
  46. solo5-cross-aarch64
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.9.1
    ISC
    Used by 2 other packages
    06 Mar 2025
  47. solo5-elftool
    Documentation
    OCaml Solo5 elftool for querying solo5 manifests
    Reynir Björnsson <reynir@reynir.dk>
    0.4.0
    BSD-2-Clause
    Used by 1 other packages
    05 Feb 2025
  48. solo5-kernel-muen

    No documentation

    Solo5 sandboxed execution environment (muen target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 1 other packages
    10 Aug 2018
  49. solo5-kernel-ukvm

    No documentation

    Solo5 sandboxed execution environment (ukvm target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 1 other packages
    10 Aug 2018
  50. solo5-kernel-virtio

    No documentation

    Solo5 sandboxed execution environment (virtio target)
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.3.1
    ISC
    Used by 1 other packages
    10 Aug 2018
... 71 72 73 ... 86