4309 search results for "author:" ""

Showing 1551 - 1600
  1. globlon
    Documentation
    A globbing library for OCaml
    bleepbloopsify <bleepbloopsify@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    28 Sep 2022
  2. 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
  3. 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
  4. gluten
    Documentation
    A reusable runtime library for network protocols
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 5 other packages
    05 Sep 2024
  5. 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
  6. 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
  7. 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
  8. gluten-lwt-unix
    Documentation
    Lwt + Unix support for gluten
    Antonio Nuno Monteiro <anmonteiro@gmail.com>
    0.5.2
    BSD-3-clause
    Used by 5 other packages
    05 Sep 2024
  9. 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
  10. gmap
    Documentation
    Heterogenous maps over a GADT
    Hannes Mehnert <hannes@mehnert.org>
    0.3.0
    ISC
    Used by 3 other packages
    21 Apr 2019
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. gobba
    Documentation
    A simple, didactical, purely functional programming language
    Alessandro Cheli
    0.4.2
    MIT
    Used by 0 other packages
    05 Jan 2021
  17. 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
  18. 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.5.0
    MIT
    Used by 0 other packages
    28 Nov 2024
  19. goblint-cil

    No 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.6
    BSD-3-Clause
    Used by 3 other packages
    26 Mar 2025
  20. google-drive-ocamlfuse
    Documentation
    A FUSE filesystem over Google Drive
    Alessandro Strada
    0.7.32
    MIT
    Used by 0 other packages
    29 Feb 2024
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. gpr
    Documentation
    GPR - Library and Application for Gaussian Process Regression
    Markus Mottl <markus.mottl@gmail.com>
    1.5.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    09 Dec 2024
  27. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 1 other packages
    20 Feb 2024
  28. gptar
    Documentation
    GPT headers that are also valid tar headers
    gpt tar mirage
    Reynir Björnsson <reynir@reynir.dk>
    1.0.0
    BSD-2-Clause
    Used by 0 other packages
    27 Oct 2024
  29. 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
  30. gr
    Documentation
    OCaml bindings to the GR plotting library
    Marcello Seri
    0.0.2
    ISC
    Used by 0 other packages
    04 Aug 2021
  31. 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
  32. 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
  33. grain_dypgen

    No documentation

    Self-extensible parsers and lexers for OCaml
    Emmanuel Onzo Philip Blair
    0.2.1
    CeCILL-B
    Used by 2 other packages
    12 May 2025
  34. 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
  35. graphics
    Documentation
    The OCaml graphics library
    Xavier Leroy Jun Furuse J-M Geffroy Jacob Navia Pierre Weis
    5.1.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 13 other packages
    25 May 2021
  36. graphicspdf
    Documentation
    Version of OCaml's Graphics library which outputs PDFs.
    John Whitington
    2.2.1
    Used by 0 other packages
    21 Jan 2017
  37. graphlib
    Documentation
    Generic Graph library
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  38. graphql
    Documentation
    Build GraphQL schemas and execute queries against them
    Andreas Garnaes <andreas.garnaes@gmail.com>
    0.14.0
    MIT
    Used by 6 other packages
    19 Jul 2022
  39. graphql-async
    Documentation
    Build GraphQL schemas with Async support
    Andreas Garnaes <andreas.garnaes@gmail.com>
    0.14.0
    MIT
    Used by 0 other packages
    19 Jul 2022
  40. graphql-cohttp
    Documentation
    Run GraphQL servers with `cohttp`
    Andreas Garnaes <andreas.garnaes@gmail.com>
    0.14.0
    MIT
    Used by 1 other packages
    19 Jul 2022
  41. graphql-lwt
    Documentation
    Build GraphQL schemas with Lwt support
    Andreas Garnaes <andreas.garnaes@gmail.com>
    0.14.0
    MIT
    Used by 4 other packages
    19 Jul 2022
  42. graphql_jsoo_client
    Documentation
    GrpahQL over WebSocket client
    graphql jsoo websockets
    Hans Ole Rafaelsen
    0.1.1
    MIT
    Used by 0 other packages
    30 Apr 2024
  43. graphql_parser
    Documentation
    Library for parsing GraphQL queries
    Andreas Garnaes <andreas.garnaes@gmail.com>
    0.14.0
    MIT
    Used by 4 other packages
    19 Jul 2022
  44. graphql_ppx
    Documentation
    GraphQL PPX rewriter for ReScript/ReasonML
    Tomasz Cichocinski <tomaszcichocinski@gmail.com>
    1.2.2
    MIT
    Used by 1 other packages
    28 Jul 2021
  45. graphv
    Documentation
    Top_level graphv package, includes all dependencies
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 0 other packages
    06 Sep 2021
  46. graphv_core
    Documentation
    Functor for creating a new Graphv library based on a font render and backend renderer
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 2 other packages
    06 Sep 2021
  47. graphv_core_lib
    Documentation
    Primitives for the Graphv vector graphics library
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 7 other packages
    06 Sep 2021
  48. graphv_font
    Documentation
    Functor for generating the Graphv font library
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 4 other packages
    06 Sep 2021
  49. graphv_font_js
    Documentation
    Javascript implementation of the font interface for Graphv
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 1 other packages
    06 Sep 2021
  50. graphv_font_stb_truetype
    Documentation
    STB truetype implementation of the font interface for Graphv
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 1 other packages
    06 Sep 2021
... 31 32 33 ... 87