4951 search results for ""

Showing 4001 - 4050
  1. 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
  2. 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
  3. slipshow
    Documentation
    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.0.33
    MIT
    Used by 0 other packages
    14 Sep 2024
  4. slug
    Documentation
    Url safe slug generator
    Khoa Nguyen
    1.0.1
    MIT
    Used by 1 other packages
    18 Jul 2021
  5. 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
  6. smaws-clients
    Documentation
    Amazon Web Services SDK clients using EIO
    Chris Armstrong
    0.1~preview1
    MIT
    Used by 0 other packages
    19 Nov 2024
  7. 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
  8. 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
  9. smol
    Documentation
    Small Math Ocaml Library
    Lucas Randazzo
    0.0.1
    MIT
    Used by 2 other packages
    18 Oct 2021
  10. smol-helpers
    Documentation
    Test helpers for smol
    Lucas Randazzo
    0.0.1
    MIT
    Used by 1 other packages
    18 Oct 2021
  11. 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
  12. smtml
    Documentation
    A Front-end library for SMT solvers in 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.3.1
    MIT
    Used by 1 other packages
    06 Nov 2024
  13. 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
  14. snabela

    No documentation

    Logic-less template system
    mmatalka@gmail.com
    1.0
    Used by 0 other packages
    13 May 2017
  15. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 1 other packages
    19 Feb 2020
  16. 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
  17. 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
  18. socialpeek

    No documentation

    OCaml library to extract social information such as Twitter cards or OpenGraph data from webpages and HTML.
    Miguel Molina <miguel@erizocosmi.co>
    1.0.0
    MIT
    Used by 0 other packages
    11 Jan 2018
  19. sociaml-facebook-api

    No documentation

    Facebook Graph API Client Library for OCaml
    Dominic Price
    0.4.1
    ISC
    Used by 0 other packages
    25 Jun 2015
  20. sociaml-oauth-client

    No documentation

    OAuth Client Library for Ocaml
    Dominic Price
    0.5.0
    ISC
    Used by 1 other packages
    18 Nov 2014
  21. sociaml-tumblr-api

    No documentation

    Tumblr API Client Library for OCaml
    Dominic Price
    0.2.0
    ISC
    Used by 0 other packages
    20 Nov 2014
  22. sociaml-vcard

    No documentation

    vCard library for OCaml
    Dominic Price
    0.2.1
    ISC
    Used by 0 other packages
    20 Nov 2014
  23. socket-daemon
    Documentation
    Create daemons listening to a socket for stop, restart, ..., orders
    socket daemon unix
    Maxence Guesdon
    0.3.0
    GPL-3.0-only
    Used by 0 other packages
    18 Aug 2016
  24. socketcan
    Documentation
    socketcan
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.12-0
    MIT
    Used by 0 other packages
    09 Nov 2017
  25. 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 2 other packages
    18 Apr 2017
  26. 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
  27. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.3.0
    LGPL-3.0-only
    Used by 2 other packages
    08 Oct 2024
  28. solid_server
    Documentation
    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.3.0
    LGPL-3.0-only
    Used by 0 other packages
    08 Oct 2024
  29. solid_tools

    No documentation

    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.3.0
    LGPL-3.0-only
    Used by 0 other packages
    08 Oct 2024
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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.0
    ISC
    Used by 5 other packages
    14 Oct 2024
  36. solo5-bindings-genode

    No documentation

    Solo5 sandboxed execution environment (genode target)
    Emery Hemingway <ehmry@posteo.net>
    0.6.4
    ISC
    Used by 2 other packages
    14 Nov 2019
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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.0
    ISC
    Used by 2 other packages
    14 Oct 2024
  43. solo5-elftool
    Documentation
    OCaml Solo5 elftool for querying solo5 manifests
    Reynir Björnsson <reynir@reynir.dk>
    0.3.1
    BSD-2-Clause
    Used by 2 other packages
    16 Mar 2022
  44. 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 2 other packages
    10 Aug 2018
  45. 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 2 other packages
    10 Aug 2018
  46. 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 2 other packages
    10 Aug 2018
  47. solvuu-build
    Documentation
    Solvuu's build system.
    org:solvuu
    Solvuu
    0.3.0
    ISC
    Used by 5 other packages
    15 Mar 2017
  48. solvuu_build

    No documentation

    DEPRECATED. Please use solvuu-build.
    org:solvuu
    Solvuu
    0.0.2
    ISC
    Used by 1 other packages
    23 Feb 2016
  49. sonet
    Documentation
    Collection of modules for asynchronous network applications
    0.1.2
    Used by 1 other packages
    21 Nov 2013
  50. sortedseq_intersect
    Documentation
    A divide-and-conquer algorithm to intersect sorted sequences
    Fermin Reig
    0.2.0
    MIT
    Used by 0 other packages
    21 Jun 2022
... 80 81 82 ... 100