4609 search results for "author:" ""

Showing 3551 - 3600
  1. rpmfile
    Documentation
    RPM package metadata reader
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.5.0
    MIT
    Used by 2 other packages
    27 Oct 2024
  2. rpmfile-cli
    Documentation
    CLI utility for reading RPM package information (like rpm -qi)
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.4.0
    MIT
    Used by 0 other packages
    30 Sep 2024
  3. rpmfile-eio
    Documentation
    RPM package metadata reader (powered by Eio)
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.5.0
    MIT
    Used by 1 other packages
    27 Oct 2024
  4. rpmfile-unix
    Documentation
    RPM package metadata reader (powered by Angstrom)
    rpm parser rpmfile
    Mikhail Lopatin <dx3mod@bk.ru>
    0.5.0
    MIT
    Used by 0 other packages
    27 Oct 2024
  5. rresult
    Documentation
    Result value combinators for OCaml
    result error org:erratique
    The rresult programmers
    0.7.0
    ISC
    Used by 149 other packages
    06 Oct 2021
  6. rsdd
    Documentation
    Bindings for RSDD
    Steven Holtzen <s.holtzen@northeastern.edu> Matt Wang <mxw@cs.washington.edu>
    0.1.0
    MIT
    Used by 0 other packages
    06 Oct 2023
  7. rss
    Documentation
    Library to read and write RSS files
    rss xml
    Zoggy <zoggy@bat8.org>
    3.0
    LGPL-3.0-only
    Used by 1 other packages
    03 Aug 2021
  8. rtime
    Documentation
    Module implementing timelines for React
    Daniel Bünzli
    0.9.3
    Used by 0 other packages
    21 Nov 2013
  9. rtop
    Documentation
    Reason toplevel
    Jordan Walke <jordojw@gmail.com>
    3.14.0
    MIT
    Used by 0 other packages
    29 Nov 2024
  10. rtree
    Documentation
    A pure OCaml R-Tree implementation
    spatial index
    Marius A. Eriksen Patrick Ferris
    0.1.1
    BSD-3-Clause
    Used by 0 other packages
    17 Aug 2023
  11. rubytt

    No documentation

    rubytt is a static code analyzer for Ruby.
    ruby analyzer
    Yukang <moorekang@gmail.com>
    0.1
    MIT
    Used by 0 other packages
    20 Dec 2016
  12. rungen
    Documentation
    Generates dune files to run benchmarks from centralised config
    Sadiq Jaffer <sadiq@toao.com>
    0.0.1
    MIT
    Used by 0 other packages
    18 Feb 2021
  13. runtime_events_tools
    Documentation
    Tools for the runtime events tracing system in OCaml
    Sadiq Jaffer
    0.5.1
    ISC
    Used by 1 other packages
    27 Feb 2024
  14. rusage
    Documentation
    Bindings to the GETRUSAGE(2) syscall
    Zach Shipko
    1.0.0
    MIT
    Used by 5 other packages
    19 Nov 2020
  15. rust-staticlib-gen
    Documentation
    Utility for generating Rust static libraries for OCaml projects
    Konstantin Olkhovskiy <lupus@oxnull.net>
    0.2.2
    Apache-2.0
    Used by 0 other packages
    12 Nov 2024
  16. 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
    12 Nov 2024
  17. 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
    05 Sep 2022
  18. SourceCode_ASCII
    Documentation
    ASCII-based library for generating and querying source code
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    0.1.0
    Apache-2.0
    Used by 0 other packages
    10 Jan 2024
  19. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.1.3
    MIT
    Used by 0 other packages
    06 Jan 2024
  20. 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
    02 Feb 2016
  21. safemoney
    Documentation
    A type safe money manipulation library
    Geoffrey Borough
    0.2.0
    MIT
    Used by 0 other packages
    26 Apr 2024
  22. 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
    20 Mar 2021
  23. 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.18
    BSD-2-Clause
    Used by 0 other packages
    07 Aug 2024
  24. sail_c_backend
    Documentation
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  25. sail_coq_backend
    Documentation
    Sail to Coq translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  26. sail_doc_backend
    Documentation
    Sail documentation generator
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  27. sail_latex_backend
    Documentation
    Sail to LaTeX formatting
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  28. sail_lem_backend
    Documentation
    Sail to Lem translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  29. sail_manifest
    Documentation
    Helper tool for compiling Sail
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  30. sail_ocaml_backend
    Documentation
    Sail to OCaml translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  31. sail_output
    Documentation
    Example Sail output plugin
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  32. sail_smt_backend
    Documentation
    Sail to C translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  33. sail_sv_backend
    Documentation
    Sail to Systemverilog translation
    Alasdair Armstrong Thomas Bauereiss Brian Campbell Shaked Flur Jonathan French et al.
    0.18
    BSD-2-Clause
    Used by 1 other packages
    07 Aug 2024
  34. 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
  35. 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
  36. 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
  37. sanddb
    Documentation
    A simple immutable database for the masses
    Robert Toth
    0.3.0
    MIT
    Used by 0 other packages
    23 Mar 2022
  38. sanlock

    No documentation

    Ctypes bindings to libsanlock for OCaml
    Si Beaumont
    0.0.9
    Used by 0 other packages
    15 Dec 2015
  39. sarek
    Documentation
    GPGPU kernel DSL for OCaml
    Mathias Bourgoin
    20210823
    Cecill-B
    Used by 0 other packages
    25 Aug 2021
  40. 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
  41. 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
  42. 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
    23 Nov 2016
  43. saturn
    Documentation
    Collection of parallelism-safe data structures for Multicore OCaml
    KC Sivaramakrishnan
    0.5.0
    ISC
    Used by 0 other packages
    22 Aug 2024
  44. 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
  45. 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
  46. 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
  47. 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
  48. scaml

    No documentation

    SCaml, Smart Contract Abstract Machine Language
    Jun Furuse
    1.5.0
    MIT
    Used by 0 other packages
    03 Oct 2022
  49. 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.3
    ISC
    Used by 3 other packages
    18 Nov 2024
  50. 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
... 71 72 73 ... 93