4607 search results for "author:" ""

Showing 3751 - 3800
  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. sosa
    Documentation
    Sane OCaml String API
    Sebastien Mondet <seb@mondet.org> Leonid Rozenberg <leonidr@gmail.com> Isaac Hodes <isaachodes@gmail.com> Jeff Hammerbacher <jeff.hammerbacher@gmail.com>
    0.3.0
    Used by 9 other packages
    25 Aug 2017
  7. soundtouch
    Documentation
    Bindings for the soundtouch library which provides functions for changing pitch and timestretching audio data
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.9
    LGPL-2.1-only
    Used by 0 other packages
    03 Dec 2020
  8. soupault
    Documentation
    Static website generator based on HTML rewriting
    Daniil Baturin <daniil+soupault@baturin.org>
    4.11.0
    MIT
    Used by 0 other packages
    06 Sep 2024
  9. space-search

    No documentation

    SpaceSearch is a library that turns Coq into a solver-aided host language. Many
    Konstantin Weitz <konstantin.weitz@gmail.com>
    0.9.1
    Used by 0 other packages
    29 Mar 2017
  10. spacetime_lib
    Documentation
    Library for decoding OCaml spacetime profiles
    Leo White <leo@lpw25.net> Mark Shinwell <mshinwell@janestreet.com>
    0.3.0
    MIT
    Used by 1 other packages
    07 Jun 2019
  11. sparrow

    No documentation

    A Static Analyzer for C
    Programming Research Laboratory (ROPAS), Seoul National University
    0.2
    BSD-3-Clause
    Used by 0 other packages
    22 May 2017
  12. spatial-shell
    Documentation
    Implementing a spatial model inspired by Material Shell, for i3 and Sway
    Thomas Letan <lthms@soap.coffee>
    6
    mpl-2.0
    Used by 0 other packages
    30 Dec 2023
  13. spatial_index
    Documentation
    Implementation of several spatial indexes (R-tree, etc.)
    Alexander Dinu <aluuu@husa.su>
    0.0.2
    Used by 0 other packages
    25 Nov 2014
  14. spawn
    Documentation
    Spawning sub-processes
    Jane Street Group, LLC <opensource@janestreet.com>
    v0.17.0
    MIT
    Used by 9 other packages
    18 Nov 2024
  15. spdiff
    Documentation
    tool for automatic inference of semantic patches
    Jesper Andersen
    0.1
    GPL-1.0-or-later
    Used by 0 other packages
    10 Sep 2014
  16. spdx_licenses
    Documentation
    A library providing a strict SPDX License Expression parser
    Kate <kit.ty.kate@disroot.org>
    1.2.0
    MIT
    Used by 1 other packages
    09 Jan 2023
  17. speed
    Documentation
    Speed - go fast by writing test first
    tdd testing unit-testing bdd
    Peter Strøiman
    0.2.0
    MIT
    Used by 0 other packages
    22 May 2024
  18. speex
    Documentation
    Bindings to libspeex
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.4.1
    GPL-2.0
    Used by 0 other packages
    08 Jan 2022
  19. spf
    Documentation
    OCaml bindings for libspf2
    Andre Nathan <andre@hostnet.com.br>
    2.0.2
    MIT
    Used by 0 other packages
    05 Mar 2018
  20. sphinxcontrib-ocaml

    No documentation

    Sphinx extension to document OCaml libraries
    Vincent Jacques <vincent@vincent-jacques.net>
    0.3.0
    MIT
    Used by 0 other packages
    13 Sep 2017
  21. spices
    Documentation
    Declarative styles for TUI applications
    styling styles declarative framework tui terminal-ui apps
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 4 other packages
    29 Dec 2023
  22. spin
    Documentation
    OCaml project generator
    Thibaut Mattio
    0.8.3
    ISC
    Used by 1 other packages
    31 Jul 2021
  23. spirv
    Documentation
    SPIR-V Compiler Library
    Nathan Holland <nholland94@gmail.com>
    1.1.2
    MIT
    Used by 0 other packages
    23 Jul 2018
  24. splay_tree
    Documentation
    A splay tree implementation
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
  25. splittable_random
    Documentation
    PRNG that can be split into independent streams
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    23 May 2024
  26. spoc
    Documentation
    High-level GPGPU programming library for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 2 other packages
    25 Aug 2021
  27. spoc_ppx
    Documentation
    PPX to declare external GPGPU kernels written in CUDA or OpenCL
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 0 other packages
    25 Aug 2021
  28. spoke
    Documentation
    SPAKE+EE implementation in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.3
    MIT
    Used by 0 other packages
    12 Jul 2024
  29. spotify-cli
    Documentation
    CLI program for controlling the Spotify client on Linux and OSX
    John Else <john.else@gmail.com>
    0.3.0
    Used by 0 other packages
    26 Oct 2015
  30. spotify-web-api
    Documentation
    OCaml bindings to the Spotify web API
    John Else
    0.2.1
    Used by 1 other packages
    29 Dec 2018
  31. spotinstall

    No documentation

    A tool to facilitate the installation of OCaml annotation files (.cmt, .cmti, .spot, .spit).
    Jun Furuse
    1.2.1
    Used by 0 other packages
    04 Mar 2016
  32. spotlib
    Documentation
    Useful functions for OCaml programming used by @camlspotter
    Jun Furuse
    4.3.0
    MIT
    Used by 9 other packages
    02 Nov 2022
  33. spreadsheet
    Documentation
    Functor for parsing and building spreadsheets.
    Ben Greenman
    0.1
    LGPL-2.0-or-later
    Used by 0 other packages
    09 Sep 2015
  34. spreadsheetml
    Documentation
    A library to parsing SpreadsheetML (used in Microsoft Excel files)
    Brendan Long <self@brendanlong.com>
    1.0
    Used by 1 other packages
    01 Jun 2018
  35. sqids
    Documentation
    OCaml port of Sqids
    Leo Soares
    0.1.0
    MIT
    Used by 0 other packages
    12 Feb 2024
  36. sqlexpr
    Documentation
    Type-safe, convenient SQLite database access.
    Mauricio Fernandez <mfp@acm.org>
    0.9.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    14 May 2018
  37. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.2.0
    MIT
    Used by 30 other packages
    06 Aug 2024
  38. sqlite3_utils
    Documentation
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    04 Jan 2022
  39. sqlite3EZ
    Documentation
    Thin wrapper for sqlite3-ocaml with a simplified interface
    Mike Lin
    0.1.0
    MIT
    Used by 0 other packages
    21 Nov 2013
  40. squirrel
    Documentation
    The Squirrel Prover is a proof assistant for protocols, based on first-order logic and provides guarantees in the computational model
    David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau
    0.1
    Used by 0 other packages
    10 Feb 2022
  41. srs

    No documentation

    OCaml bindings for libsrs2
    Andre Nathan <andre@hostnet.com.br>
    2.0.0
    MIT
    Used by 0 other packages
    01 Mar 2018
  42. srt
    Documentation
    Binding for the Secure, Reliable, Transport protocol library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.3.1
    GPL-2.0-or-later
    Used by 0 other packages
    08 Nov 2024
  43. ssh-agent
    Documentation
    Ssh-agent protocol parser and serialization implementation
    Reynir Björnsson <reynir@reynir.dk>
    0.4.1
    BSD-2-clause
    Used by 1 other packages
    17 Feb 2023
  44. ssh-agent-unix

    No documentation

    Ssh-agent protocol parser and serialization implementation for unix platforms
    Reynir Björnsson <reynir@reynir.dk>
    0.4.1
    BSD-2-clause
    Used by 0 other packages
    17 Feb 2023
  45. ssl
    Documentation
    Bindings for OpenSSL
    Samuel Mimram <samuel.mimram@ens-lyon.org>
    0.7.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 41 other packages
    24 Jul 2023
  46. sslconf
    Documentation
    An OCaml version of Openssl's NCONF library
    Tony Wuersch <tony.wuersch@gmail.com>
    0.8.3
    ISC
    Used by 0 other packages
    30 Oct 2017
  47. starpath
    Documentation
    A position-aware parser combinator library with readable errors
    parser parser-combinators
    Matthew Toohey <contact@mtoohey.com>
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    25 Jan 2024
  48. starred_ml
    Documentation
    Generates a awesome list markdown
    Paulo Suzart
    0.0.5
    CC0-1.0
    Used by 0 other packages
    29 Apr 2024
  49. starterkit
    Documentation
    Virtual package for starting OCaml
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    28 Mar 2016
  50. stationary
    Documentation
    Static site generator
    Izaak Meckler <ihmeckler@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    12 May 2016
... 75 76 77 ... 93