4435 search results for ""

Showing 3701 - 3750
  1. sail_smt_backend
    Documentation
    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  2. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.1
    BSD-2-Clause
    Used by 1 other packages
    22 Dec 2025
  3. salsa20
    Documentation
    Salsa20 family of encryption functions, in pure OCaml
    Alfredo Beaumont <alfredo.beaumont@gmail.com>
    1.2.0
    BSD-2-Clause
    Used by 0 other packages
    15 Aug 2021
  4. salsa20-core
    Documentation
    The Salsa20 core functions, in OCaml
    Alfredo Beaumont <alfredo.beaumont@gmail.com>
    2.0.0
    BSD-2-Clause
    Used by 0 other packages
    15 Jul 2024
  5. salto-analyzer
    Documentation
    Salto static analyzer for OCaml programs
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.2
    LGPL-3.0-or-later
    Used by 0 other packages
    23 Nov 2025
  6. saltoIL
    Documentation
    Salto Intermediate Language
    Benoît Montagu <benoit.montagu@inria.fr> Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
    0.2.1
    LGPL-2.1-only
    Used by 1 other packages
    04 Mar 2026
  7. samplerate
    Documentation
    Samplerate audio conversion library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.6
    BSD-2-Clause
    Used by 0 other packages
    03 Aug 2021
  8. sanddb
    Documentation
    A simple immutable database for the masses
    Robert Toth
    0.3.0
    MIT
    Used by 0 other packages
    23 Mar 2022
  9. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    Si Beaumont
    0.0.9
    Used by 0 other packages
    15 Dec 2015
  10. sarek
    Documentation
    GPGPU kernel DSL for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 0 other packages
    25 Aug 2021
  11. sarif
    Documentation
    Static Analysis Results Interchange Format (SARIF) Version 2.1.0
    sarif
    Geoffrey Borough
    0.3.1
    MIT
    Used by 0 other packages
    28 Feb 2024
  12. satex
    Documentation
    String diagram generator for LaTeX
    Samuel Mimram <smimram@gmail.com>
    0.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    07 Nov 2023
  13. satML-plugin

    No documentation

    Alt-Ergo, an SMT Solver for Software Verification: satML Plugin
    Alt-Ergo developers
    1.30
    OCamlPro Non-Commercial License
    Used by 0 other packages
    23 Nov 2016
  14. sattools
    Documentation
    Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
    andy.ray@ujamjar.com
    0.1.0
    Used by 0 other packages
    06 Jan 2017
  15. saturn
    Documentation
    Collection of concurent-safe data structures for Multicore OCaml
    KC Sivaramakrishnan
    1.0.0
    ISC
    Used by 1 other packages
    05 Dec 2024
  16. saturn_lockfree
    Documentation
    Collection of lock-free data structures for Multicore OCaml
    KC Sivaramakrishnan
    0.5.0
    ISC
    Used by 2 other packages
    22 Aug 2024
  17. satyrographos
    Documentation
    A package manager for SATySFi
    SAKAMOTO Noriaki <mrty.ityt.pt@gmail.com>
    0.0.2.13
    LGPL-3.0-or-later
    Used by 0 other packages
    26 Sep 2023
  18. savvy
    Documentation
    A straightforward OAuth2 client
    oauth2 security oauth
    Sam huckaby
    0.4.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  19. sawja
    Documentation
    Sawja provides a high level representation of Java bytecode programs and static analysis tools
    Sawja development team
    1.5.12
    GPL-3.0-or-later
    Used by 0 other packages
    25 Jan 2023
  20. scad_ml
    Documentation
    OCaml DSL for 3D solid modelling in OpenSCAD
    Masaki Nakano<namachan10777@gmail.com> Geoff deRosenroll<geoffderosenroll@gmail.com
    1.1.0
    BSL-1.0
    Used by 1 other packages
    22 Dec 2021
  21. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    redianthus <redopam@pm.me>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  22. scgi
    Documentation
    Simple Common Gateway Interface (SCGI) protocol support for interface with HTTP servers
    scgi web application
    Mike Wells <https://github.com/mwells> Martin Jambon <https://github.com/mjambon> Bikal Lem <https://github.com/bikallem>
    1.0
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2019
  23. schroedinger

    No documentation

    Bindings for the schroedinger library to decode video files in Dirac format
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.1
    Used by 0 other packages
    17 Aug 2015
  24. scid
    Documentation
    Sierra Chart's Intraday Data File Format library
    Vincent Bernardoff <vb@luminar.eu.org>
    1.0
    ISC
    Used by 0 other packages
    22 Feb 2017
  25. scipy
    Documentation
    SciPy scientific computing library for OCaml
    Ronan Le Hy
    sp1.5-0.3.1
    BSD-3-Clause
    Used by 1 other packages
    08 Dec 2020
  26. scope
    Documentation
    OCaml Image File Viewer
    Charles Averill
    1.1
    MIT
    Used by 0 other packages
    11 Sep 2025
  27. scrypt
    Documentation
    C bindings and a high level interface to the official scrypt distribution.
    Nikolay Zalutskiy <pacemkr@gmail.com>
    0.2.1
    BSD-2-Clause
    Used by 0 other packages
    19 Dec 2013
  28. scrypt-kdf
    Documentation
    The scrypt Password-Based Key Derivation Function
    Alfredo Beaumont <alfredo.beaumont@gmail.com> Sonia Meruelo <smeruelo@gmail.com>
    1.2.0
    BSD-2-Clause
    Used by 2 other packages
    15 Aug 2021
  29. sd_logic
    Documentation
    Functionality for time-based finite state machine
    Zev Minsky-Primus <zevminskypimus@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    07 Jan 2022
  30. sdl-liquidsoap
    Documentation
    Virtual package installing liquidsoap dependencies for SDL optional features
    The Savonet Team <savonet-users@lists.sourceforge.net>
    3
    GPL-2.0-or-later
    Used by 0 other packages
    25 Jul 2023
  31. search
    Documentation
    Simple, in-memory search library in pure OCaml
    Patrick Ferris
    0.1.1
    MIT
    Used by 0 other packages
    11 Jan 2023
  32. searchTree
    Documentation
    A module to easily implement search trees
    Oscar Lahaie <oscarlahaie83@gmail.com>
    0.1
    GPL-3.0-or-later
    Used by 0 other packages
    08 Feb 2022
  33. secp256k1
    Documentation
    Elliptic curve library secp256k1 wrapper for Ocaml
    Davide Gessa <gessadavide@gmail.com> Vincent Bernardoff <vb@luminar.eu.org> Yoichi Hirai <i@yoichihirai.com> Anton Trunov ygrek
    0.5.0
    MIT
    Used by 1 other packages
    20 Dec 2025
  34. secp256k1-internal
    Documentation
    Bindings to secp256k1 internal functions (generic operations on the curve)
    Vincent Bernardoff <vb@luminar.eu.org> Nomadic Labs <contact@nomadic-labs.com>
    0.4.0
    MIT
    Used by 2 other packages
    22 Sep 2022
  35. sedlex
    Documentation
    An OCaml lexer generator for Unicode
    Alain Frisch https://github.com/ocaml-community/sedlex/graphs/contributors
    3.7
    MIT
    Used by 43 other packages
    08 Oct 2025
  36. sek
    Documentation
    An efficient implementation of ephemeral and persistent sequences
    Arthur Charguéraud <arthur.chargueraud@inria.fr> Émilie Guermeur <then at Inria> François Pottier <francois.pottier@inria.fr>
    20201012
    LGPL-3.0-or-later
    Used by 0 other packages
    27 May 2021
  37. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.8.0
    MIT
    Used by 2 other packages
    03 Dec 2025
  38. selfie
    Documentation
    Unix process snapshotting library
    Quentin Carbonneaux
    0.1
    MIT
    Used by 0 other packages
    18 Nov 2024
  39. semantic_version
    Documentation
    Semantic versioning
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  40. semaphore-compat
    Documentation
    Compatibility Semaphore module
    Xavier Leroy
    1.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    26 Sep 2024
  41. semv
    Documentation
    Bump a semver
    semver cli
    pombadev
    1.0.0
    Apache-2.0
    Used by 0 other packages
    28 May 2024
  42. semver
    Documentation
    Semantic Versioning (semver) library
    Tikhon Jelvis Rudi Grinberg
    0.2.1
    BSD-3-Clause
    Used by 0 other packages
    11 Sep 2023
  43. semver2
    Documentation
    Semantic version handling for OCaml
    Dividat AG
    1.2.0
    MIT
    Used by 0 other packages
    14 Apr 2021
  44. sendmail
    Documentation
    Implementation of the sendmail command
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.1
    MIT
    Used by 4 other packages
    28 Nov 2025
  45. sendmail-lwt
    Documentation
    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.1
    MIT
    Used by 2 other packages
    28 Nov 2025
  46. sendmail-miou-unix
    Documentation
    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.1
    MIT
    Used by 0 other packages
    28 Nov 2025
  47. sendmail-mirage
    Documentation
    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.1
    MIT
    Used by 0 other packages
    28 Nov 2025
  48. sendmsg
    Documentation
    π-calculus? In _my_ kernel?
    David Kaloper Meršinjak <david@numm.org>
    0.0.2
    ISC
    Used by 0 other packages
    06 Nov 2016
  49. sentry
    Documentation
    Unofficial Async Sentry error monitoring client
    Brendan Long <self@brendanlong.com>
    v0.11.0
    Unlicense
    Used by 0 other packages
    19 Aug 2020
  50. seq
    Documentation
    Compatibility package for OCaml's standard iterator type starting from 4.07.
    base
    Used by 40 other packages
    28 Jun 2018
... 74 75 76 ... 89