4292 search results for "author:" ""

Showing 3451 - 3500
  1. sail_lem_backend
    Documentation
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2025
  2. sail_manifest
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2025
  3. sail_ocaml_backend
    Documentation
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2025
  4. sail_output
    Documentation
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2025
  5. sail_smt_backend
    Documentation
    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2025
  6. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.19
    BSD-2-Clause
    Used by 1 other packages
    12 Mar 2025
  7. 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
  8. 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
  9. salto-analyzer
    Documentation
    Salto static analyzer for OCaml programs
    Pierre Lermusiaux <pierre.lermusiaux@inria.fr> Benoît Montagu <benoit.montagu@inria.fr>
    0.1
    LGPL-3.0-or-later
    Used by 0 other packages
    12 Mar 2025
  10. saltoIL
    Documentation
    Salto Intermediate Language
    Benoît Montagu <benoit.montagu@inria.fr> Pierre Lermusiaux <pierre.lermusiaux@inria.fr>
    0.1.11
    LGPL-2.1-only
    Used by 1 other packages
    09 Mar 2025
  11. 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
  12. sanddb
    Documentation
    A simple immutable database for the masses
    Robert Toth
    0.3.0
    MIT
    Used by 0 other packages
    23 Mar 2022
  13. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    Si Beaumont
    0.0.9
    Used by 0 other packages
    15 Dec 2015
  14. sarek
    Documentation
    GPGPU kernel DSL for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 0 other packages
    25 Aug 2021
  15. 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
  16. 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
  17. 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
  18. 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
  19. saturn_lockfree
    Documentation
    Collection of lock-free data structures for Multicore OCaml
    KC Sivaramakrishnan
    0.5.0
    ISC
    Used by 3 other packages
    22 Aug 2024
  20. 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
  21. savvy

    No documentation

    A straightforward OAuth2 client
    oauth2 security oauth
    Sam huckaby
    0.4.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  22. 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
  23. 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
  24. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. search
    Documentation
    Simple, in-memory search library in pure OCaml
    Patrick Ferris
    0.1.1
    MIT
    Used by 0 other packages
    11 Jan 2023
  34. 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
  35. 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
    0.4.4
    MIT
    Used by 2 other packages
    27 May 2022
  36. 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 3 other packages
    22 Sep 2022
  37. sedlex

    No documentation

    An OCaml lexer generator for Unicode
    Alain Frisch https://github.com/ocaml-community/sedlex/graphs/contributors
    3.6
    MIT
    Used by 39 other packages
    09 Jun 2025
  38. 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
  39. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.6.0
    MIT
    Used by 1 other packages
    13 Feb 2025
  40. selfie
    Documentation
    Unix process snapshotting library
    Quentin Carbonneaux
    0.1
    MIT
    Used by 0 other packages
    18 Nov 2024
  41. semantic_version
    Documentation
    Semantic versioning
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  42. 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
  43. semver
    Documentation
    Semantic Versioning (semver) library
    Tikhon Jelvis Rudi Grinberg
    0.2.1
    BSD-3-Clause
    Used by 0 other packages
    11 Sep 2023
  44. semver2
    Documentation
    Semantic version handling for OCaml
    Dividat AG
    1.2.0
    MIT
    Used by 0 other packages
    14 Apr 2021
  45. sendmail

    No documentation

    Implementation of the sendmail command
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.0
    MIT
    Used by 4 other packages
    09 Jun 2025
  46. sendmail-lwt

    No documentation

    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.0
    MIT
    Used by 2 other packages
    09 Jun 2025
  47. sendmail-miou-unix

    No documentation

    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  48. sendmail-mirage

    No documentation

    Implementation of the sendmail command over LWT
    Gwenaëlle Lecat Romain Calascibetta <romain.calascibetta@gmail.com>
    0.12.0
    MIT
    Used by 0 other packages
    09 Jun 2025
  49. 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
  50. 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
... 69 70 71 ... 86