4346 search results for "author:" ""

Showing 2951 - 3000
  1. ortac-core
    Documentation
    Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com>
    0.8.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  2. ortac-dune
    Documentation
    Generate dune rules for other ortac plugins
    Nicolas Osborne <nicolas.osborne@tarides.com> Charlène Gros <charlène@tarides.com>
    0.8.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  3. ortac-qcheck-stm
    Documentation
    QCheck-STM plugin for Ortac
    Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com> Nikolaus Huber <mail@n-huber.eu>
    0.8.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. ortac-runtime
    Documentation
    Runtime support library for Ortac-generated code
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Samuel Hym <samuel@tarides.com>
    0.8.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  5. ortac-runtime-qcheck-stm
    Documentation
    Runtime support library for Ortac/QCheck-STM-generated code
    Nicolas Osborne <nicolas.osborne@tarides.com> Nikolaus Huber <mail@n-huber.eu>
    0.8.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. ortac-wrapper
    Documentation
    Wrapper plugin for Ortac
    Clément Pascutto <clement@pascutto.fr> Nicolas Osborne <nicolas.osborne@tarides.com> Charlène Gros <charlène@tarides.com>
    0.8.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  7. orthologic-coq
    Documentation
    A plugin to add orthologic-based tactics to Coq
    category:Miscellaneous/Coq Extensions keyword:orthologic logpath:OLCoq
    Simon Guilloud Clément Pit-Claudel
    0.9.1
    CC-BY-4.0
    Used by 0 other packages
    Added to opam-repository
  8. ortools
    Documentation
    Build and export Google OR-Tools models
    Timothy Bourke <tim@tbrk.org>
    9.15.0-2
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  9. ortools_solvers
    Documentation
    Call Google OR-Tools solvers
    Timothy Bourke <tim@tbrk.org>
    9.15.0-2
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  10. orun
    Documentation
    Run benchmarks and measure performance
    Stephen Dolan <stephen.dolan@cl.cam.ac.uk>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. orxgboost

    No documentation

    Gradient boosting for OCaml using the R xgboost package
    Francois Berenger
    1.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  12. osbx
    Documentation
    Implementation of SeqBox in OCaml
    Darren Ldl <darrenldldev@gmail.com>
    1.2.4
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  13. osc
    Documentation
    OpenSoundControl core library
    John Else
    0.2.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  14. osc-lwt
    Documentation
    OpenSoundControl Lwt library
    John Else
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  15. osc-unix
    Documentation
    OpenSoundControl Unix library
    John Else
    0.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. osdp
    Documentation
    OCaml Interface to SDP solvers
    Pierre Roux <pierre.roux@onera.fr>
    1.1.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  17. oseq
    Documentation
    Simple list of suspensions, as a composable lazy iterator that behaves like a value
    sequence iterator seq pure list
    Simon Cruanes
    0.5.1
    BSD-2-clause
    Used by 10 other packages
    Added to opam-repository
  18. osh
    Documentation
    OCaml web API to generate SVG shields
    shield badge svg generator status build code coverage
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  19. oskel
    Documentation
    Skeleton generator for OCaml projects
    Craig Ferguson <me@craigfe.io>
    0.3.0
    Used by 0 other packages
    Added to opam-repository
  20. osnap
    Documentation
    OCaml random snapshot testing
    Valentin Chaboche <valentin.chaboche@nomadic-labs.com>
    0.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  21. osx-acl

    No documentation

    OS X POSIX.1e file system access control list (ACL) bindings
    osx acl file system POSIX.1e security
    David Sheets
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  22. osx-attr

    No documentation

    OS X generic file system attribute system call bindings
    osx attr attributes getattrlist setattrlist file system
    David Sheets Jeremy Yallop
    0.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  23. osx-cf

    No documentation

    OS X CoreFoundation bindings
    David Sheets Thomas Gazagnaire
    0.1.1
    ISC
    Used by 1 other packages
    Added to opam-repository
  24. osx-fsevents

    No documentation

    OS X FSevents bindings
    David Sheets Thomas Gazagnaire
    0.2.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  25. osx-keychain

    No documentation

    Typed OCaml bindings to the macOS Keychain
    macos keychain security password bindings
    Alex Leighton <axlelonghorn@gmail.com>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  26. osx-membership

    No documentation

    OS X membership.h bindings for user, group, and UUID translation
    osx membership uid gid guid uuid opendirectoryd
    David Sheets
    0.1.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  27. osx-mount

    No documentation

    Bindings to OS X mount system calls
    osx mount mountpoint mtab mount table file system
    David Sheets
    0.1.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  28. osx-plutil

    No documentation

    OS X plutil plist manipulation
    David Sheets <sheets@alum.mit.edu>
    0.5.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  29. osx-secure-transport

    No documentation

    macos/ios SecureTransport TLS OSX implementation API for OCaml
    Romain Beauxis <toots@rastageeks.org>
    0.1.1
    WTFPL
    Used by 0 other packages
    Added to opam-repository
  30. osx-xattr

    No documentation

    OS X extended attribute system call bindings
    osx xattr extended attributes file system
    David Sheets Jeremy Yallop
    0.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  31. otaglibc
    Documentation
    Bindings for C api of the taglib library
    taglib
    EruEri <nayinayu@mailo.com>
    0.1.0
    MPL-2.0
    Used by 1 other packages
    Added to opam-repository
  32. otf
    Documentation
    otf is a simple Output Test Framework
    Olivier Levillain <olivier.levillain@telecom-sudparis.eu>
    0.1
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  33. otfm
    Documentation
    OpenType font decoder for OCaml
    OpenType ttf font decoder graphics org:erratique
    The otfm programmers
    0.4.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  34. otoggl
    Documentation
    Bindings for Toggl API in OCaml
    Christophe Riolo Uusivaara
    0.3.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  35. otoml
    Documentation
    TOML parsing, manipulation, and pretty-printing library (1.0.0-compliant)
    Daniil Baturin <daniil+otoml@baturin.org>
    1.0.5
    MIT
    Used by 9 other packages
    Added to opam-repository
  36. otp
    Documentation
    Time-base One Time Password (OTP) based on RFC6238 with an HMAC-SHA1 algorithm and a 6 digits code in OCAML
    OTP TOTP HMAC-SHA1 One Time Password
    Heyji2 <heyji2@github.com>
    0.3
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  37. otr
    Documentation
    Off the record implementation purely in OCaml
    Hannes Mehnert <hannes@mehnert.org>
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  38. ott
    Documentation
    A tool for writing definitions of programming languages and calculi
    Peter Sewell Francesco Zappa Nardelli Scott Owens
    0.34
    BSD-3-Clause
    Used by 2 other packages
    Added to opam-repository
  39. otto
    Documentation
    Otto is a testing / autograding library
    Justin Raymond <justin.raymond.14@gmail.com>
    0.0.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  40. oui
    Documentation
    A tool that builds standalone installers for your OCaml applications
    wix msi windows cygwin
    Raja Boujbel Mohamed Hernouf
    0.1.0
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  41. ounit
    Documentation
    This is a transition package, ounit-lwt is now ounit2-lwt
    Sylvain Le Gall
    2.2.7
    MIT
    Used by 198 other packages
    Added to opam-repository
  42. ounit-lwt
    Documentation
    This is a transition package, ounit-lwt is now ounit2-lwt
    Sylvain Le Gall
    2.2.7
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. ounit2
    Documentation
    OUnit testing framework
    Maas-Maarten Zeeman Sylvain Le Gall
    2.2.7
    MIT
    Used by 165 other packages
    Added to opam-repository
  44. ounit2-lwt
    Documentation
    OUnit testing framework
    Sylvain Le Gall
    2.2.7
    MIT
    Used by 1 other packages
    Added to opam-repository
  45. out-channel-redirect
    Documentation
    Redirect and capture output written to out_channels
    Hugo Heuzard
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  46. override

    No documentation

    PPX extension for overriding modules
    Thierry Martinez <thierry.martinez@inria.fr>
    0.4.0
    BSD-2-Clause
    Used by 1 other packages
    Added to opam-repository
  47. owee
    Documentation
    OCaml library to work with DWARF format
    Frédéric Bour <frederic.bour@lakaban.net>
    0.8
    MIT
    Used by 6 other packages
    Added to opam-repository
  48. owi
    Documentation
    OCaml toolchain to work with WebAssembly, including an interpreter
    owi ocaml webassembly wasm interpreter compiler
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Eric Patrizio <epatrizio@mpns.fr> Arthur Carcano <arthur.carcano@ocamlpro.com
    0.2
    AGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  49. owl
    Documentation
    OCaml Scientific and Engineering Computing
    Liang Wang
    1.2
    MIT
    Used by 10 other packages
    Added to opam-repository
  50. owl-base
    Documentation
    OCaml Scientific and Engineering Computing - Base
    Liang Wang
    1.2
    MIT
    Used by 3 other packages
    Added to opam-repository
... 59 60 61 ... 87