4337 search results for "author:" ""

Showing 3601 - 3650
  1. rust-staticlib-virtual
    Documentation
    A Sentinel/marker package to define the rust staticlib virtual library
    Konstantin Olkhovskiy <lupus@oxnull.net>
    0.2.2
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  2. Snowflake
    Documentation
    Snowflake : A Generic Symbolic Dynamic Programming framework
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.02.03
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  3. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. safa
    Documentation
    Symbolic Algorithms for Finite Automata
    Damien Pous <Damien.Pous@ens-lyon.fr>
    1.4
    LGPL-3.0-only
    Used by 1 other packages
    Added to opam-repository
  5. safemoney
    Documentation
    A type safe money manipulation library
    Geoffrey Borough
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  6. safepass
    Documentation
    Facilities for the safe storage of user passwords
    Dario Teixeira <dario.teixeira@nleyten.com>
    3.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Added to opam-repository
  7. saga
    Documentation
    Text processing and NLP extensions for Nx
    text-processing nlp natural-language-processing tokenization
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 3 other packages
    Added to opam-repository
  8. sail
    Documentation
    Sail is a language for describing the instruction semantics of processors
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  9. sail_c_backend
    Documentation
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  10. sail_coq_backend
    Documentation
    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  11. sail_doc_backend
    Documentation
    Sail documentation generator
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  12. sail_latex_backend
    Documentation
    Sail to LaTeX formatting
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  13. sail_lean_backend
    Documentation
    Sail to Lean translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  14. sail_lem_backend
    Documentation
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  15. sail_maker
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  16. sail_manifest
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  17. sail_ocaml_backend
    Documentation
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  18. sail_output
    Documentation
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  19. sail_smt_backend
    Documentation
    Sail to SMT translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  20. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.20.2
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. 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
    Added to opam-repository
  23. 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
    Added to opam-repository
  24. 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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. sanddb
    Documentation
    A simple immutable database for the masses
    Robert Toth
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  27. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    Si Beaumont
    0.0.9
    Used by 0 other packages
    Added to opam-repository
  28. sarek
    Documentation
    GPGPU kernel DSL for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 0 other packages
    Added to opam-repository
  29. 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
  30. 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
  31. 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
  32. saturn
    Documentation
    Collection of concurent-safe data structures for Multicore OCaml
    KC Sivaramakrishnan
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  33. saturn_lockfree
    Documentation
    Collection of lock-free data structures for Multicore OCaml
    KC Sivaramakrishnan
    0.5.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  34. 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
  35. savvy
    Documentation
    A straightforward OAuth2 client
    oauth2 security oauth
    Sam huckaby
    0.4.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. scope
    Documentation
    OCaml Image File Viewer
    Charles Averill
    1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 72 73 74 ... 87