4605 search results for "author:" ""

Showing 1551 - 1600
  1. glMLite
    Documentation
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    04 Sep 2019
  2. globlon
    Documentation
    A globbing library for OCaml
    bleepbloopsify <bleepbloopsify@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    28 Sep 2022
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. gmap
    Documentation
    Heterogenous maps over a GADT
    Hannes Mehnert <hannes@mehnert.org>
    0.3.0
    ISC
    Used by 3 other packages
    21 Apr 2019
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. gobba
    Documentation
    A simple, didactical, purely functional programming language
    Alessandro Cheli
    0.4.2
    MIT
    Used by 0 other packages
    05 Jan 2021
  19. 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
  20. 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
  21. 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
  22. google-drive-ocamlfuse
    Documentation
    A FUSE filesystem over Google Drive
    Alessandro Strada
    0.7.32
    MIT
    Used by 0 other packages
    29 Feb 2024
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. gpr

    No documentation

    GPR - Library and Application for Gaussian Process Regression
    Markus Mottl <markus.mottl@gmail.com>
    1.5.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    25 Nov 2024
  29. 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
  30. 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
  31. 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
  32. gr
    Documentation
    OCaml bindings to the GR plotting library
    Marcello Seri
    0.0.2
    ISC
    Used by 0 other packages
    04 Aug 2021
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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 15 other packages
    25 May 2021
  38. graphicspdf
    Documentation
    Version of OCaml's Graphics library which outputs PDFs.
    John Whitington
    2.2.1
    Used by 0 other packages
    21 Jan 2017
  39. graphlib
    Documentation
    Generic Graph library
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  40. graphql
    Documentation
    Build GraphQL schemas and execute queries against them
    Andreas Garnaes <andreas.garnaes@gmail.com>
    0.14.0
    MIT
    Used by 7 other packages
    19 Jul 2022
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. graphv
    Documentation
    Top_level graphv package, includes all dependencies
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 0 other packages
    06 Sep 2021
  48. 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
  49. 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
  50. graphv_font
    Documentation
    Functor for generating the Graphv font library
    Walter Litwinczyk
    0.1.1
    MIT
    Used by 4 other packages
    06 Sep 2021
... 31 32 33 ... 93