4607 search results for "author:" ""

Showing 3701 - 3750
  1. 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
  2. sill

    No documentation

    Implementation of Linear Session Types
    Dennis Griffith <isanobody@gmail.com> Frank Pfenning <fp@cs.cmu.edu>
    1.4
    GPL-3 with OCaml linking exception
    Used by 0 other packages
    05 May 2015
  3. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  4. simple-bmc
    Documentation
    A tool to translate Hybrid automata into SMT formula which is solvable by dReal(https://github.com/soonhokong/dReal).
    Soonho Kong <soonhok@cs.cmu.edu> Wei Chen <weichen1@andrew.cmu.edu>
    0.0.1
    GPL-3.0-only
    Used by 0 other packages
    21 Dec 2013
  5. simple-diff
    Documentation
    Simple_diff is a pure OCaml diffing algorithm.
    Gabriel Jaldon
    0.3
    ISC
    Used by 0 other packages
    08 Feb 2017
  6. simple63
    Documentation
    Integer compression and decompression module
    Mika Illouz
    1
    BSD
    Used by 0 other packages
    13 Sep 2020
  7. sitemap
    Documentation
    Generate XML sitemaps
    Anil Madhavapeddy <anil@recoil.org>
    1.0
    ISC
    Used by 0 other packages
    24 Jun 2024
  8. skkserv-lite
    Documentation
    SKK server using sqlite3 dictionaries
    INAJIMA Daisuke <inajima@sopht.jp>
    2.0.1
    MIT
    Used by 0 other packages
    11 Oct 2015
  9. 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
  10. slack
    Documentation
    Slack API implementation
    Ahrefs <github@ahrefs.com>
    0.1
    MIT
    Used by 0 other packages
    20 Mar 2024
  11. slack-backup

    No documentation

    Small tool to backup IM and channels from slack.
    Louis Roché <louis@louisroche.net>
    0.1
    MIT
    Used by 0 other packages
    27 Apr 2016
  12. 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
  13. 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
  14. slug
    Documentation
    Url safe slug generator
    Khoa Nguyen
    1.0.1
    MIT
    Used by 1 other packages
    18 Jul 2021
  15. 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
  16. smaws-clients
    Documentation
    Amazon Web Services SDK clients using EIO
    Chris Armstrong
    0.1~preview1
    MIT
    Used by 0 other packages
    19 Nov 2024
  17. 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
  18. 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
  19. smol
    Documentation
    Small Math Ocaml Library
    Lucas Randazzo
    0.0.1
    MIT
    Used by 2 other packages
    18 Oct 2021
  20. smol-helpers
    Documentation
    Test helpers for smol
    Lucas Randazzo
    0.0.1
    MIT
    Used by 1 other packages
    18 Oct 2021
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. sociaml-oauth-client

    No documentation

    OAuth Client Library for Ocaml
    Dominic Price
    0.5.0
    ISC
    Used by 1 other packages
    18 Nov 2014
  29. 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
  30. sociaml-vcard

    No documentation

    vCard library for OCaml
    Dominic Price
    0.2.1
    ISC
    Used by 0 other packages
    20 Nov 2014
  31. 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
  32. socketcan
    Documentation
    socketcan
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.12-0
    MIT
    Used by 0 other packages
    09 Nov 2017
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 74 75 76 ... 93