4650 search results for ""

Showing 3901 - 3950
  1. 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> redianthus <redopam@pm.me> Arthur Carcano <arthur.carcano@ocamlpro.com> et al.
    0.19.0
    MIT
    Used by 0 other packages
    07 Jan 2026
  2. 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
  3. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    19 Feb 2020
  4. snf_mcp
    Documentation
    A Model Context Protocol server for web search and content fetching
    mcp fetch search web eio ocaml
    Marcello Seri <marcello.seri@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    10 Sep 2025
  5. 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
  6. so
    Documentation
    Open file depending on their extension
    redianthus <redopam@pm.me>
    0.0.1
    ISC
    Used by 0 other packages
    26 Nov 2019
  7. socketcan
    Documentation
    socketcan
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.12-0
    MIT
    Used by 0 other packages
    09 Nov 2017
  8. 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
  9. 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
  10. solid
    Documentation
    Library to build SOLID applications
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 2 other packages
    21 Jun 2025
  11. solid_server
    Documentation
    SOLID server under development
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 0 other packages
    21 Jun 2025
  12. solid_tools
    Documentation
    Library to build SOLID tools
    rdf semantic web solid ldp
    Zoggy <zoggy@bat8.org>
    0.5.0
    LGPL-3.0-only
    Used by 0 other packages
    21 Jun 2025
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. solo5
    Documentation
    Solo5 sandboxed execution environment
    Dan Williams <djwillia@us.ibm.com> Martin Lucina <martin@lucina.net> Ricardo Koller <kollerr@us.ibm.com>
    0.10.0
    ISC
    Used by 3 other packages
    27 Oct 2025
  19. 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
  20. 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.10.0
    ISC
    Used by 1 other packages
    27 Oct 2025
  21. 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
  22. 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
  23. 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 6 other packages
    25 Aug 2017
  24. 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
  25. soupault
    Documentation
    Static website generator based on HTML element tree rewriting
    Daniil Baturin <daniil+soupault@baturin.org>
    5.2.0
    MIT
    Used by 0 other packages
    25 Nov 2025
  26. sowilo
    Documentation
    Computer vision extensions for Rune
    computer-vision image-processing feature-detection machine-learning
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 2 other packages
    26 Nov 2025
  27. 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
  28. 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
  29. spawn
    Documentation
    Spawning sub-processes
    Jane Street Group, LLC <opensource@janestreet.com>
    v0.17.0
    MIT
    Used by 12 other packages
    18 Nov 2024
  30. spdx_licenses
    Documentation
    A library providing a strict SPDX License Expression parser
    Kate <kit-ty-kate@exn.st>
    1.4.0
    MIT
    Used by 1 other packages
    03 Jul 2025
  31. spectrum
    Documentation
    Library for colour and formatting in the terminal
    Anentropic
    0.6.0
    MIT
    Used by 1 other packages
    16 Jan 2022
  32. 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
  33. speex
    Documentation
    Bindings to libspeex
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    04 Feb 2025
  34. spelll
    Documentation
    Fuzzy string searching, using Levenshtein automaton
    spell levenshtein automaton typo edit distance
    simon.cruanes.2007@m4x.org
    0.4
    BSD-2-Clause
    Used by 5 other packages
    21 Apr 2022
  35. spf
    Documentation
    OCaml bindings for libspf2
    Andre Nathan <andre@hostnet.com.br>
    2.0.2
    MIT
    Used by 0 other packages
    05 Mar 2018
  36. 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
  37. spin
    Documentation
    OCaml project generator
    Thibaut Mattio
    0.8.3
    ISC
    Used by 1 other packages
    31 Jul 2021
  38. spirv
    Documentation
    SPIR-V Compiler Library
    Nathan Holland <nholland94@gmail.com>
    1.1.2
    MIT
    Used by 0 other packages
    23 Jul 2018
  39. splay_tree
    Documentation
    A splay tree implementation
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    26 May 2024
  40. 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
  41. spoc
    Documentation
    High-level GPGPU programming library for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 2 other packages
    25 Aug 2021
  42. 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
  43. spoke
    Documentation
    SPAKE+EE implementation in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.4
    MIT
    Used by 0 other packages
    10 Oct 2025
  44. spotify-web-api
    Documentation
    OCaml bindings to the Spotify web API
    John Else
    0.2.1
    MIT
    Used by 0 other packages
    29 Dec 2018
  45. spotify_ml
    Documentation
    Spotify API bindings
    spotify
    Max Große <max12.gro@gmail.com>
    0.0.2
    MIT
    Used by 0 other packages
    30 Jul 2024
  46. spotlib
    Documentation
    Useful functions for OCaml programming used by @camlspotter
    Jun Furuse
    4.3.0
    MIT
    Used by 3 other packages
    02 Nov 2022
  47. 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
  48. spurs
    Documentation
    A lightweight native sparse matrix library
    sparse matrices
    Nikhil Kamath <nikhil.k123234@gmail.com>
    0.1.1
    MIT
    Used by 0 other packages
    09 Jun 2025
  49. sqids
    Documentation
    OCaml port of Sqids
    Leo Soares
    0.1.0
    MIT
    Used by 0 other packages
    12 Feb 2024
  50. sqlgg
    Documentation
    SQL Guided (code) Generator
    org:ygrek
    ygrek
    20231201
    GPL-2.0-only
    Used by 0 other packages
    24 Jun 2024
... 78 79 80 ... 93