4725 search results for ""

Showing 3951 - 4000
  1. sarif
    Documentation
    Static Analysis Results Interchange Format (SARIF) Version 2.1.0
    sarif
    Geoffrey Borough
    0.3.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  2. satex
    Documentation
    String diagram generator for LaTeX
    Samuel Mimram <smimram@gmail.com>
    0.1.2
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  3. satML-plugin
    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
    Added to opam-repository
  4. sattools
    Documentation
    Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat
    andy.ray@ujamjar.com
    0.1.0
    Used by 0 other packages
    Added to opam-repository
  5. saturn
    Documentation
    Collection of concurent-safe data structures for Multicore OCaml
    data-structures
    KC Sivaramakrishnan
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  6. saturn_lockfree
    Documentation
    Collection of lock-free data structures for Multicore OCaml
    data-structures
    KC Sivaramakrishnan
    0.5.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. savvy
    Documentation
    A straightforward OAuth2 client
    oauth2 security oauth
    Sam huckaby
    0.4.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    pena <pena@kumikode.org>
    0.5
    ISC
    Used by 1 other packages
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. scid
    Documentation
    Sierra Chart's Intraday Data File Format library
    Vincent Bernardoff <vb@luminar.eu.org>
    1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  15. scipy
    Documentation
    SciPy scientific computing library for OCaml
    Ronan Le Hy
    sp1.5-0.3.1
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  16. scope
    Documentation
    OCaml Image File Viewer
    Charles Averill
    1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. sd_logic
    Documentation
    Functionality for time-based finite state machine
    Zev Minsky-Primus <zevminskypimus@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  20. 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
    Added to opam-repository
  21. search
    Documentation
    Simple, in-memory search library in pure OCaml
    Patrick Ferris
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. secret
    Documentation
    Zeroized secret memory outside the OCaml heap
    security cryptography memory
    Ville Vesilehto <ville@vesilehto.fi>
    0.1.3
    ISC
    Used by 1 other packages
    Added to opam-repository
  26. sedlex
    Documentation
    An OCaml lexer generator for Unicode
    Alain Frisch https://github.com/ocaml-community/sedlex/graphs/contributors
    3.8.1
    MIT
    Used by 44 other packages
    Added to opam-repository
  27. segmap
    Documentation
    Segment maps, a data structure for renamings
    François Pottier <francois.pottier@inria.fr>
    20261019
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  28. 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>
    20260619
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  29. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.8.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  30. selfie
    Documentation
    Unix process snapshotting library
    Quentin Carbonneaux
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  31. semantic_version
    Documentation
    Semantic versioning
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  32. 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
    Added to opam-repository
  33. semv
    Documentation
    Bump a semver
    semver cli
    pombadev
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  34. semver
    Documentation
    Semantic Versioning (semver) library
    Tikhon Jelvis Rudi Grinberg
    0.2.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  35. semver2
    Documentation
    Semantic version handling for OCaml
    Dividat AG
    1.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  36. sendmail
    Documentation
    Implementation of the sendmail command
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.13.1
    MIT
    Used by 5 other packages
    Added to opam-repository
  37. sendmail-lwt
    Documentation
    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.13.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  38. sendmail-miou-unix
    Documentation
    Implementation of the sendmail command over Miou
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.13.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  39. sendmail-mirage
    Documentation
    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.13.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  40. sendmsg
    Documentation
    π-calculus? In _my_ kernel?
    David Kaloper Meršinjak <david@numm.org>
    0.0.2
    ISC
    Used by 0 other packages
    Added to opam-repository
  41. sentry

    No documentation

    Unofficial Async Sentry error monitoring client
    Brendan Long <self@brendanlong.com>
    v0.11.0
    Unlicense
    Used by 0 other packages
    Added to opam-repository
  42. seq
    Documentation
    Compatibility package for OCaml's standard iterator type starting from 4.07.
    base
    Used by 40 other packages
    Added to opam-repository
  43. seqes
    Documentation
    Seq with monads
    monad seq
    Raphaël Proust
    0.4
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  44. sequence
    Documentation
    Simple sequence abstract datatype.
    Simon Cruanes
    0.2
    Used by 0 other packages
    Added to opam-repository
  45. sequencer_table
    Documentation
    A table of [Async.Sequencer]'s, indexed by key
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  46. serde
    Documentation
    A serialization framework for OCaml
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 3 other packages
    Added to opam-repository
  47. serde_debug
    Documentation
    A human-friendly format for Serde that helps you debug any data during development
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  48. serde_derive
    Documentation
    Derive-macros for the Serde serialization framework
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  49. serde_json
    Documentation
    JSON format support for Serde
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 2 other packages
    Added to opam-repository
  50. serde_sexpr
    Documentation
    S-expression format support for Serde
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
... 79 80 81 ... 95