4541 search results for "author:" ""

Showing 3601 - 3650
  1. sexp_diff_kernel
    Documentation
    Code for computing the diff of two sexps
    Jane Street Group, LLC
    v0.14.0
    MIT
    Used by 1 other packages
    31 May 2020
  2. sexp_grammar
    Documentation
    Sexp grammar helpers
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  3. sexp_macro
    Documentation
    Sexp macros
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 2 other packages
    26 May 2024
  4. sexp_pretty
    Documentation
    S-expression pretty-printer
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 6 other packages
    26 May 2024
  5. sexp_select
    Documentation
    A library to use CSS-style selectors to traverse sexp trees
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  6. sexp_string_quickcheck
    Documentation
    Quickcheck helpers for strings parsing to sexps
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  7. sexplib
    Documentation
    Library for serializing OCaml values to and from S-expressions
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 138 other packages
    23 May 2024
  8. sexplib0
    Documentation
    Library containing the definition of S-expressions and some base converters
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 50 other packages
    30 Apr 2024
  9. sexps-rewriter

    No documentation

    A specialized file-rewriter for applying rewrites to sexp files
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 0 other packages
    30 Sep 2024
  10. sfml
    Documentation
    Bindings to the SFML multimedia library
    bindings graphics audio multimedia gamedev opengl network
    Florent Monnier Sylvain Boilard
    0.09.2
    zlib-acknowledgement
    Used by 0 other packages
    06 Aug 2022
  11. sgf
    Documentation
    Parser and pretty printer for SGF files
    Vincent Bernardoff <vb@luminar.eu.org>
    1.0.1
    ISC
    Used by 0 other packages
    06 Jul 2020
  12. sha
    Documentation
    Binding to the SHA cryptographic functions
    Vincent Hanquez Thomas Gazagnaire Goswin von Brederlow Eric Cooper Florent Monnier et al.
    1.15.4
    ISC
    Used by 16 other packages
    23 Jan 2023
  13. shades
    Documentation
    OCaml color palettes
    Fay Carsons
    1.0
    MIT
    Used by 0 other packages
    09 Feb 2024
  14. shapefile
    Documentation
    A small library to read ESRI shapefiles
    Cyril Allignol <cyril@allignol.com>
    0.2.1
    Used by 0 other packages
    25 Sep 2020
  15. shared-block-ring
    Documentation
    A single-consumer single-producer queue on a block device
    org:mirage org:xapi-project
    David Scott Jon Ludlam Si Beaumont Pau Ruiz Safont
    3.0.1
    ISC
    Used by 1 other packages
    16 Apr 2022
  16. shared-memory-ring
    Documentation
    Shared memory rings for RPC and bytestream communications
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    3.2.1
    ISC
    Used by 10 other packages
    26 Apr 2024
  17. shared-memory-ring-lwt
    Documentation
    Shared memory rings for RPC and bytestream communications using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    3.2.1
    ISC
    Used by 3 other packages
    26 Apr 2024
  18. shared-secret
    Documentation
    Exceptions are shared secrets
    Marco Aurélio da Silva <marcoonroad@gmail.com>
    0.4
    MIT
    Used by 0 other packages
    04 Nov 2019
  19. shcaml
    Documentation
    Library for Unix shell programming
    Jesse A. Tov <jesse.tov@gmail.com>
    0.2.1
    MIT
    Used by 0 other packages
    19 Jan 2018
  20. shell
    Documentation
    Yet another implementation of fork&exec and related functionality
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 8 other packages
    26 May 2024
  21. sherlodoc
    Documentation
    Search engine for OCaml documentation
    Arthur Wendling Emile Trotignon
    0.2
    MIT
    Used by 11 other packages
    06 Feb 2024
  22. shexp
    Documentation
    Process library and s-expression based shell
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
  23. shine
    Documentation
    Fixed-point MP3 encoder
    Romain Beauxis <toots@rastageeks.org>
    0.2.3
    GPL-2.0
    Used by 0 other packages
    13 Apr 2022
  24. should
    Documentation
    Literate assertions
    Mike Lin
    0.1.0
    MIT
    Used by 0 other packages
    21 Nov 2013
  25. shuttle
    Documentation
    Reasonably performant non-blocking channels for async
    async reader writer
    Anurag Soni
    0.9.4
    MIT
    Used by 2 other packages
    26 Apr 2023
  26. shuttle_http
    Documentation
    Async library for HTTP/1.1 servers and clients
    http-server http-client http http1.1 async
    Anurag Soni
    0.12.0
    MIT
    Used by 1 other packages
    03 Jul 2024
  27. shuttle_ssl
    Documentation
    Async_ssl support for shuttle
    async reader writer ssl
    Anurag Soni
    0.9.4
    MIT
    Used by 1 other packages
    26 Apr 2023
  28. shuttle_websocket
    Documentation
    Websocket support for HTTP/1.1 servers using Async
    http-server websocket
    Anurag Soni
    0.12.0
    MIT
    Used by 0 other packages
    03 Jul 2024
  29. sibylfs

    No documentation

    formal specification and oracle-based testing for POSIX file systems
    Tom Ridge <tom.j.ridge@googlemail.com> Thomas Tuerk <tt291@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu> Andrea Giugliano <agiugliano@live.it>
    0.5.0
    Used by 0 other packages
    04 Oct 2015
  30. sibylfs-lem
    Documentation
    SibylFS fork of Lightweight Executable Mathematics for large-scale semantics
    The Lem Team
    0.4.0
    Used by 1 other packages
    02 Oct 2015
  31. sid
    Documentation
    Handle security identfiers
    Philipp Gesang
    2.0
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    14 Dec 2018
  32. sifun
    Documentation
    Interpreter for SiFun (Simple Functional) Language with three different type systems (supports Higher Rank Polymorphism)
    Krzysztof Druciarek <kkd26@cam.ac.uk>
    3.0.0
    gpl-3.0
    Used by 0 other packages
    03 May 2022
  33. signal
    Documentation
    A small library for reactive signals
    Rizo I. <rizo@odis.io>
    0.4.2
    MIT
    Used by 0 other packages
    05 Apr 2024
  34. sihl
    Documentation
    The Sihl web framework
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 6 other packages
    30 Nov 2022
  35. sihl-cache
    Documentation
    Cache service implementations for Sihl
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 0 other packages
    30 Nov 2022
  36. sihl-contract
    Documentation
    Sihl serivce interfaces
    Josef Erben Aron Erben Miko Nieminen
    0.3.0~rc1
    MIT
    Used by 2 other packages
    11 Jan 2021
  37. sihl-core
    Documentation
    The core of the Sihl web framework
    Josef Erben Aron Erben Miko Nieminen
    0.3.0~rc1
    MIT
    Used by 3 other packages
    11 Jan 2021
  38. sihl-email
    Documentation
    Email service implementations for Sihl
    Josef Erben Aron Erben Miko Nieminen
    3.0.5
    MIT
    Used by 0 other packages
    30 Nov 2022
  39. sihl-facade
    Documentation
    Sihl service facade that uses the facade pattern to hide service implementations
    Josef Erben Aron Erben Miko Nieminen
    0.3.0~rc1
    MIT
    Used by 9 other packages
    11 Jan 2021
  40. sihl-persistence
    Documentation
    Sihl services to deal with data persistence
    Josef Erben Aron Erben Miko Nieminen
    0.3.0~rc1
    MIT
    Used by 7 other packages
    11 Jan 2021
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. simlog
    Documentation
    A simple OCaml logging library
    log logging logger
    Muqiu Han
    0.0.4
    MIT
    Used by 0 other packages
    15 Oct 2023
  50. 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
... 72 73 74 ... 91