4532 search results for "author:" ""

Showing 1501 - 1550
  1. git_split
    Documentation
    A tool to split a git commit into multiple
    Markus Loide <markusloide+github@gmail.com>
    0.0.1
    Apache-2.0
    Used by 0 other packages
    30 Jul 2024
  2. github
    Documentation
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 6 other packages
    27 Jan 2022
  3. github-data
    Documentation
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 2 other packages
    27 Jan 2022
  4. github-hooks
    Documentation
    GitHub API web hook listener library
    git github
    David Sheets Thomas Gazagnaire
    0.5.0
    Used by 1 other packages
    21 Aug 2019
  5. github-hooks-unix
    Documentation
    GitHub API web hook listener library using unix functions
    git github
    David Sheets Thomas Gazagnaire
    0.5.0
    Used by 2 other packages
    21 Aug 2019
  6. github-jsoo
    Documentation
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 0 other packages
    27 Jan 2022
  7. github-unix
    Documentation
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire et al.
    4.4.1
    MIT
    Used by 5 other packages
    27 Jan 2022
  8. gitlab
    Documentation
    GitLab APIv4 OCaml library
    Tim McGilchrist
    0.1.8
    BSD-3-clause
    Used by 3 other packages
    05 Oct 2023
  9. gitlab-jsoo
    Documentation
    Gitlab APIv4 OCaml library
    Tim McGilchrist
    0.1.8
    BSD-3-clause
    Used by 0 other packages
    05 Oct 2023
  10. gitlab-unix
    Documentation
    GitLab APIv4 OCaml library
    Tim McGilchrist
    0.1.8
    BSD-3-clause
    Used by 3 other packages
    05 Oct 2023
  11. gitlab_pipeline_notifier
    Documentation
    Watches GitLab pipelines and notifies on status updates using 'send-notify'
    topics gitlab
    Arvid Jakobsson
    0.1
    MIT
    Used by 0 other packages
    15 Sep 2022
  12. gles3
    Documentation
    OCaml GLES 3.0 bindings
    Christophe Raffalli <raffalli@univ-savoie.fr> Alexandre Miquel<amiquel@fing.edu.uy>
    20160505.alpha
    LGPL-3.0-only
    Used by 0 other packages
    23 May 2016
  13. glfw-ocaml
    Documentation
    A GLFW binding for OCaml
    Sylvain BOILARD <boilard@crans.org>
    3.3.1-2
    Zlib
    Used by 1 other packages
    14 Sep 2022
  14. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    03 Sep 2016
  15. glicko2
    Documentation
    Implementation of the Glicko2 algorithm
    Bruce Ricard <bruce.ricard@gmail.com> Jesper Louis Andersen <jesper.louis.andersen@gmail.com>
    1.0.0
    GPL-2.0-only
    Used by 0 other packages
    07 Jun 2018
  16. glMLite
    Documentation
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    04 Sep 2019
  17. globlon
    Documentation
    A globbing library for OCaml
    bleepbloopsify <bleepbloopsify@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    28 Sep 2022
  18. glpk
    Documentation
    Bindings for glpk
    Samuel Mimram <smimram@gmail.com>
    0.1.8
    GPL-2.0-only
    Used by 0 other packages
    14 Nov 2016
  19. glsurf

    No documentation

    GlSurf, implicit curves and surfaces drawing and discretization
    Christophe Raffalli <raffalli@univ-savoie.fr>
    3.3.1
    GPL-3.0-only
    Used by 0 other packages
    04 Jun 2016
  20. gluon
    Documentation
    A minimal, portable, and fast API on top of the operating-system's evented I/O API
    async io tcp udp multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 1 other packages
    12 Apr 2024
  21. gluten
    Documentation
    A reusable runtime library for network protocols
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 4 other packages
    05 Sep 2024
  22. gluten-async
    Documentation
    Async support for gluten
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 3 other packages
    05 Sep 2024
  23. gluten-eio
    Documentation
    EIO runtime for gluten
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 4 other packages
    05 Sep 2024
  24. gluten-lwt
    Documentation
    Lwt-specific runtime for gluten
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 6 other packages
    05 Sep 2024
  25. gluten-lwt-unix
    Documentation
    Lwt + Unix support for gluten
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 4 other packages
    05 Sep 2024
  26. gluten-mirage
    Documentation
    Mirage support for gluten
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 3 other packages
    05 Sep 2024
  27. gmap
    Documentation
    Heterogenous maps over a GADT
    Hannes Mehnert <hannes@mehnert.org>
    0.3.0
    ISC
    Used by 3 other packages
    21 Apr 2019
  28. gmp
    Documentation
    The GNU Multiple Precision Arithmetic Library
    Torbjörn Granlund and contributors
    6.2.1-5
    LGPL-3.0-only; LGPL-2.0-only
    Used by 0 other packages
    16 Feb 2024
  29. gmp-ecm
    Documentation
    GMP-ECM library for the Elliptic Curve Method (ECM) for integer factorization
    Cyril Bouvier David Cleaver Pierrick Gaudry Brian Gladman Jim Fougeron et al.
    7.0.3
    GPL-3.0; LGPL-3.0
    Used by 0 other packages
    01 Dec 2021
  30. gmp-freestanding

    No documentation

    The GNU Multiple Precision Arithmetic Library
    Torbjörn Granlund and contributors
    6.2.1
    LGPL-3.0-only; LGPL-2.0-only
    Used by 1 other packages
    05 Mar 2021
  31. gmp-xen
    Documentation
    The GNU Multiple Precision Arithmetic Library
    Torbjörn Granlund and contributors
    6.0.0-1
    LGPL-3.0-only; LGPL-2.0-only
    Used by 1 other packages
    10 Oct 2017
  32. gnuplot
    Documentation
    Simple interface to Gnuplot Gnuplot-OCaml provides a simple interface to Gnuplot from OCaml. The API supports only 2D graphs and was inspired by FnuPlot
    Oliver Gu <gu.oliver@yahoo.com>
    0.7
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    06 Mar 2020
  33. gobba
    Documentation
    A simple, didactical, purely functional programming language
    Alessandro Cheli
    0.4.2
    MIT
    Used by 0 other packages
    05 Jan 2021
  34. gobject-introspection
    Documentation
    OCaml bindings for the GObject-Introspection library (https://gi.readthedocs.io/en/latest/)
    Cédric Le Moigne <cedlemo@gmx.com>
    0.2
    GPL-3.0-only
    Used by 0 other packages
    31 Dec 2019
  35. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.4.0
    MIT
    Used by 0 other packages
    06 Aug 2024
  36. goblint-cil
    Documentation
    A front-end for the C programming language that facilitates program analysis and transformation
    George Necula Scott McPeak Westley Weimer Gabriel Kerneis Ralf Vogler et al.
    2.0.4
    BSD-3-Clause
    Used by 3 other packages
    02 Aug 2024
  37. google-drive-ocamlfuse
    Documentation
    A FUSE filesystem over Google Drive
    Alessandro Strada
    0.7.32
    MIT
    Used by 0 other packages
    29 Feb 2024
  38. gopcaml-mode
    Documentation
    Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs
    Kiran Gopinathan
    0.0.6
    GPL-3.0-only
    Used by 0 other packages
    12 Jul 2022
  39. gopcaml-mode-merlin
    Documentation
    Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs (uses Merlin parser)
    Kiran Gopinathan
    0.0.6
    GPL-3.0-only
    Used by 0 other packages
    12 Jul 2022
  40. gospel
    Documentation
    A tool-agnostic formal specification language for OCaml
    Jean-Christophe Filliâtre Samuel Hym Cláudio Lourenço Nicolas Obsorne Clément Pascutto et al.
    0.3.0
    MIT
    Used by 2 other packages
    12 Apr 2024
  41. gotd
    Documentation
    Quickly start an OCaml project
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    13 Feb 2023
  42. gpiod
    Documentation
    A wrapper around the C libgpiod library for GPIO on recent (>4.8) Linux kernels
    Blake Loring
    0.7
    BSD-3-Clause
    Used by 0 other packages
    16 Jun 2021
  43. gpr
    Documentation
    GPR - Library and Application for Gaussian Process Regression
    Markus Mottl <markus.mottl@gmail.com>
    1.5.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    22 Nov 2019
  44. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 0 other packages
    20 Feb 2024
  45. gpx
    Documentation
    Conversions between XML and GPX (1.1) types.
    Julien Sagot <ju.sagot@gmail.com>
    1.1.1
    MIT
    Used by 0 other packages
    04 Mar 2015
  46. gr
    Documentation
    OCaml bindings to the GR plotting library
    Marcello Seri
    0.0.2
    ISC
    Used by 0 other packages
    04 Aug 2021
  47. grace
    Documentation
    A fancy diagnostics library that allows your compilers to exit with grace
    Alistair O'Brien
    0.2.0
    MIT
    Used by 0 other packages
    03 Jun 2024
  48. gradescope_submit
    Documentation
    A small script to submit to Gradescope via GitHub
    topics git gradescope https api
    Nikhil Mittu
    2.0.2
    MIT
    Used by 0 other packages
    04 Jun 2023
  49. grain_dypgen
    Documentation
    Self-extensible parsers and lexers for OCaml
    Emmanuel Onzo Philip Blair
    0.2
    CeCILL-B
    Used by 2 other packages
    12 Jul 2020
  50. grain_wasm_spec
    Documentation
    An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. (Fork of official spec: https://github.com/WebAssembly/spec)
    Andreas Rossberg <rossberg@mpi-sws.org> Philip Blair <philip@grain-lang.org>
    0.1
    Apache-2.0
    Used by 0 other packages
    19 Nov 2019
... 30 31 32 ... 91