4605 search results for "author:" ""

Showing 1051 - 1100
  1. ctypes-zarith
    Documentation
    Ctypes wrapper for zarith
    Andreas Hauptmann Stephane Graham-Lengrand
    0.2.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    04 Jul 2020
  2. ctypes_stubs_js
    Documentation
    Js_of_ocaml Javascript stubs for the OCaml ctypes library
    Nomadic-labs <contact@nomadic-labs.com>
    0.1
    MIT
    Used by 3 other packages
    29 Jan 2022
  3. cubicle
    Documentation
    SMT based model checker for parameterized systems
    Sylvain Conchon Alain Mebsout
    1.2.0
    Apache-2.0
    Used by 0 other packages
    02 Nov 2022
  4. cucumber
    Documentation
    Cucumber BDD for OCaml
    Christopher Guy Yocum
    1.0.4
    MIT
    Used by 0 other packages
    03 Apr 2023
  5. cudajit

    No documentation

    Bindings to the `cuda` and `nvrtc` libraries with a unified interface
    cuda jit nvrtc
    Lukasz Stafiniak
    0.5.0
    MIT
    Used by 0 other packages
    04 Oct 2024
  6. cudf
    Documentation
    CUDF library (part of the Mancoosi tools)
    Roberto di Cosmo <roberto@dicosmo.org> Stefano Zacchiroli Pietro Abate
    0.10
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    23 Jul 2022
  7. cuid
    Documentation
    CUID generator for OCaml
    Marco Aurélio da Silva <marcoonroad@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    04 Nov 2019
  8. cumulus
    Documentation
    Differential FRP based on the React library
    Petter A. Urkedal <paurkedal@gmail.com>
    0.0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Oct 2020
  9. curly
    Documentation
    Curly is a brain dead wrapper around the curl command line utility
    Rudi Grinberg
    0.3.0
    ISC
    Used by 3 other packages
    01 Feb 2023
  10. current
    Documentation
    Pipeline language for keeping things up-to-date
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 11 other packages
    07 Feb 2024
  11. current-albatross-deployer
    Documentation
    An ocurrent plugin to deploy MirageOS unikernels
    Lucas Pluvinage
    1.0.0
    ISC
    Used by 0 other packages
    16 Nov 2022
  12. current_docker
    Documentation
    OCurrent Docker plugin
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 2 other packages
    07 Feb 2024
  13. current_examples
    Documentation
    Example pipelines for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 0 other packages
    07 Feb 2024
  14. current_git
    Documentation
    Git plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 6 other packages
    07 Feb 2024
  15. current_github
    Documentation
    GitHub plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 2 other packages
    07 Feb 2024
  16. current_gitlab
    Documentation
    GitLab plugin for OCurrent
    Tim McGilchrist <timmcgil@gmail.com>
    0.6.6
    Apache-2.0
    Used by 1 other packages
    07 Feb 2024
  17. current_ocluster
    Documentation
    OCurrent plugin for OCluster builds
    Antonin Décimo <antonin@tarides.com> David Allsopp Kate <kit.ty.kate@disroot.org> Lucas Pluvinage <lucas@tarides.com> Mark Elvers <mark.elvers@tunbury.org> et al.
    0.3.0
    Apache-2.0
    Used by 1 other packages
    09 Feb 2024
  18. current_rpc
    Documentation
    Cap'n Proto RPC plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 1 other packages
    07 Feb 2024
  19. current_slack
    Documentation
    Slack plugin for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 0 other packages
    07 Feb 2024
  20. current_ssh
    Documentation
    SSH plugin for OCurrent
    Mark Elvers <mark.elvers@tunbury.org>
    0.6.6
    Apache-2.0
    Used by 1 other packages
    07 Feb 2024
  21. current_web
    Documentation
    Test web UI for OCurrent
    Thomas Leonard <talex5@gmail.com> Antonin Décimo <antonin@tarides.com> Tim McGilchrist <timmcgil@gmail.com> Craig Ferguson <me@craigfe.io> Etienne MARAIS <etienne@maiste.fr> et al.
    0.6.6
    Apache-2.0
    Used by 6 other packages
    07 Feb 2024
  22. curses
    Documentation
    Bindings to ncurses
    Nicolas George
    1.0.11
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Jan 2023
  23. curve-sampling
    Documentation
    Sampling of parametric and implicit curves
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2.1
    GPL-3.0-or-later
    Used by 0 other packages
    12 Nov 2021
  24. custom_printf

    No documentation

    Extension for printf format strings
    Jane Street Group, LLC
    113.00.00
    Apache-2.0
    Used by 3 other packages
    21 Sep 2015
  25. cvc5
    Documentation
    OCaml bindings for the cvc5 SMT solver
    João Pereira <joaomhmpereira@tecnico.ulisboa.pt>
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    17 Sep 2024
  26. cviode
    Documentation
    Contact variational integrators - native ocaml version
    ODE scientific-computing
    Marcello Seri <m.seri@rug.nl>
    0.0.4
    MIT
    Used by 0 other packages
    07 Oct 2020
  27. cwe_checker

    No documentation

    BAP plugin collection to detect common bug classes
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de> Nils-Edvin Enkelmann <nils-edvin.enkelmann@fkie.fraunhofer.de>
    0.3
    LGPL-3.0-only
    Used by 1 other packages
    06 Dec 2019
  28. DAGaml
    Documentation
    DAGaml : Abstract DAG manipulation in OCaml
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.02
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    10 Nov 2021
  29. DkSDKFFIOCaml_Std
    Documentation
    DkSDK FFI for OCaml
    Diskuv, Inc. <opensource+dkml@support.diskuv.com>
    1.0.0~1
    OSL-3.0
    Used by 0 other packages
    03 Sep 2023
  30. DkSDKFFIOCaml_StdExport-linux_x86_64
    Documentation
    The DkSDKFFIOCaml_StdExport foreign library on 64-bit Intel/AMD Linux
    Diskuv, Inc. <opensource+dksdk@support.diskuv.com>
    1.0.0~1
    OSL-3.0
    Used by 1 other packages
    03 Sep 2023
  31. DrawGrammar
    Documentation
    Draw railroad diagrams of EBNF grammars
    Vincent Jacques <vincent@vincent-jacques.net>
    0.2.2
    MIT
    Used by 0 other packages
    07 Nov 2018
  32. d3
    Documentation
    OCaml bindings for D3.js
    Spiros Eliopoulos <seliopou@gmail.com>
    0.3.0
    BSD-3-Clause
    Used by 0 other packages
    24 Jul 2017
  33. daft
    Documentation
    DAFT Allows File Transfers
    Francois Berenger
    0.0.4
    CeCILL-C
    Used by 0 other packages
    11 Jan 2023
  34. dap
    Documentation
    Debug adapter protocol
    文宇祥 <hackwaly@qq.com>
    1.0.6
    MIT
    Used by 1 other packages
    21 Feb 2021
  35. data-encoding
    Documentation
    Library of JSON and binary encoding combinators
    Nomadic Labs
    1.0.1
    MIT
    Used by 23 other packages
    21 Mar 2024
  36. dataframe
    Documentation
    A simple and type-safe dataframe api in pure ocaml
    Laurent Mazare
    0.1
    Used by 0 other packages
    22 Jun 2019
  37. datakit

    No documentation

    Orchestrate applications using a Git-like dataflow
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 2 other packages
    13 Jul 2019
  38. datakit-bridge-github
    Documentation
    A bidirectional bridge between the GitHub API and Datakit
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 0 other packages
    13 Jul 2019
  39. datakit-bridge-local-git
    Documentation
    DataKit Local-Git bridge
    Thomas Leonard
    1.0.0
    Apache-1.0+
    Used by 0 other packages
    13 Jul 2019
  40. datakit-ci

    No documentation

    Continuous Integration service using DataKit
    Thomas© Leonard Anil Madhavapeddy Dave Tucker Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 0 other packages
    13 Jul 2019
  41. datakit-client
    Documentation
    A library to construct Datakit clients
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 6 other packages
    13 Jul 2019
  42. datakit-client-9p
    Documentation
    A library for Datakit clients over 9P
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 5 other packages
    13 Jul 2019
  43. datakit-client-git
    Documentation
    A library for connecting Datakit client using Git
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 2 other packages
    13 Jul 2019
  44. datakit-github
    Documentation
    Abstraction of the GitHub API, suitable for DataKit clients
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 3 other packages
    13 Jul 2019
  45. datakit-server
    Documentation
    A library to write Datakit servers
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 2 other packages
    13 Jul 2019
  46. datakit-server-9p
    Documentation
    Build Datakit servers using the 9P filesystem protocol
    Thomas Leonard Magnus Skjegstad David Scott Thomas Gazagnaire
    1.0.0
    Apache-1.0+
    Used by 2 other packages
    13 Jul 2019
  47. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 0 other packages
    18 Oct 2024
  48. dates_calc
    Documentation
    A date calculation library
    Aymeric Fromherz Denis Merigoux Raphaël Monat
    0.0.6
    Apache-2.0
    Used by 1 other packages
    22 May 2024
  49. daypack-lib
    Documentation
    A schedule, time and time slots handling library
    Daypack developers
    0.0.6
    MIT
    Used by 1 other packages
    22 Oct 2020
  50. dbf
    Documentation
    DBF format parsing
    Léo Andrès Philippe Veber
    0.2.0
    ISC
    Used by 0 other packages
    06 Oct 2023
... 21 22 23 ... 93