453 search results for "tag:"C""

  1. aio
    Linux kernel AIO access library for ocaml
    org:mirage org:xapi-project
    0.0.3
    Used by 0 other packages
    Last published 21 Nov 2013
  2. alt-ergo
    The Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
    Used by 4 other packages
    Last published 04 Aug 2022
  3. alt-ergo-lib
    The Alt-Ergo SMT prover library
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 3 other packages
    Last published 04 Aug 2022
  4. alt-ergo-parsers
    The Alt-Ergo SMT prover parser library
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 2 other packages
    Last published 04 Aug 2022
  5. altgr-ergo
    The GUI for the Alt-Ergo SMT prover
    org:OCamlPro
    Alt-Ergo developers
    2.4.2
    LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
    Used by 1 other packages
    Last published 04 Aug 2022
  6. annot
    annotation parser for external editors and IDEs
    org:ocamllabs
    Christian Lindig Anil Madhavapeddy
    1.1.0
    Used by 0 other packages
    Last published 20 Jun 2015
  7. archsat
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 02 Sep 2019
  8. async_graphics
    Async wrapper for the OCaml Graphics library
    async graphics
    Leo White <leo@lpw25.net>
    0.7.0
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 07 Jun 2019
  9. autofonce
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 0 other packages
    Last published 16 Mar 2023
  10. autofonce_config
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  11. autofonce_core
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  12. autofonce_lib
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  13. autofonce_m4
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    Last published 16 Mar 2023
  14. autofonce_misc
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 3 other packages
    Last published 16 Mar 2023
  15. autofonce_patch
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 1 other packages
    Last published 16 Mar 2023
  16. autofonce_share
    A modern runner for GNU Autoconf Testsuites
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.8
    GPL-3.0-only
    Used by 2 other packages
    Last published 16 Mar 2023
  17. balancer
    A collection of load balancing algorithms implemented in pure Ocaml
    networking load balancing scalability
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    Last published 09 Aug 2018
  18. bare_encoding
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3
    MIT
    Used by 0 other packages
    Last published 16 Feb 2022
  19. bastet
    An OCaml library for category theory and abstract algebra
    category theory abstract algebra algebra cats
    Risto Stevcev
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    Last published 20 Feb 2021
  20. bastet_async
    Async implementations for bastet
    category theory abstract algebra algebra cats async
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 27 Mar 2020
  21. bastet_lwt
    Lwt implementations for bastet
    category theory abstract algebra algebra cats lwt
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 27 Mar 2020
  22. bech32
    Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    bitcoin
    Vincent Bernardoff <vb@luminar.eu.org>
    0.1
    ISC
    Used by 0 other packages
    Last published 15 Apr 2020
  23. benchmark
    Benchmark running times of code
    benchmark
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley
    1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    Last published 09 Sep 2018
  24. bimage
    A simple, efficient image-processing library
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 3 other packages
    Last published 19 May 2022
  25. bimage-display
    Window system for Bimage
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    Last published 19 May 2022
  26. bimage-gtk
    Bimage_gtk allows images to be displayed in GTK windows
    image processing gtk
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    Last published 12 Apr 2020
  27. bimage-io
    Input/output for Bimage using OpenImageIO
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    Last published 19 May 2022
  28. bimage-lwt
    A simple, efficient image-processing library (LWT bindings)
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.4.0
    ISC
    Used by 0 other packages
    Last published 19 May 2021
  29. bimage-sdl
    Bimage_gtk allows images to be displayed using SDL
    image processing sdl
    Zach Shipko <zachshipko@gmail.com>
    0.2.1
    ISC
    Used by 0 other packages
    Last published 12 Apr 2020
  30. bimage-unix
    Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
    image processing
    Zach Shipko <zachshipko@gmail.com>
    0.6.0
    ISC
    Used by 0 other packages
    Last published 19 May 2022
  31. binsec
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules Guillaume Girol Josselin Feist Lesly-Ann Daniel Manh-Dung Nguyen Mathéo Vergnolle Mathilde Ollivier Matthieu Lemerre Olivier Nicole Richard Bonichon Robin David Sébastien Bardin Soline Ducousso Ta Thanh Dinh Yaëlle Vinçont
    0.7.1
    LGPL-2.1-or-later
    Used by 0 other packages
    Last published 15 Feb 2023
  32. bitwuzla
    SMT solver for AUFBVFP
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 0 other packages
    Last published 24 Feb 2023
  33. bitwuzla-bin
    Bitwuzla SMT solver executable
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.0
    MIT
    Used by 0 other packages
    Last published 12 Jul 2021
  34. bitwuzla-c
    SMT solver for AUFBVFP (C API)
    SMT solver SMT-COMP 2020 AUFBVFP
    Frédéric Recoules
    1.0.5
    MIT
    Used by 1 other packages
    Last published 24 Feb 2023
  35. bos
    Basic OS interaction for OCaml
    os system cli command file path log unix org:erratique
    The bos programmers
    0.2.1
    ISC
    Used by 82 other packages
    Last published 06 Oct 2021
  36. broken
    The Broken package is a simple testsuite framework.
    test unit application
    Michael Grünewald
    0.4.2
    CeCILL-B
    Used by 7 other packages
    Last published 07 Sep 2015
  37. brotli
    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    2.0.3
    BSD-3-Clause
    Used by 1 other packages
    Last published 21 Dec 2017
  38. brr
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.4
    ISC; BSD-3-Clause
    Used by 2 other packages
    Last published 05 Dec 2022
  39. bsbnative
    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    ocaml bucklescript stdlib functional programming
    Hongbo Zhang <>
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    Last published 10 Oct 2017
  40. cairo2
    Binding to Cairo, a 2D Vector Graphics Library
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.4
    LGPL-3.0
    Used by 12 other packages
    Last published 03 Oct 2022
  41. cairo2-gtk
    Rendering Cairo on Gtk2 canvas
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.4
    LGPL-3.0
    Used by 1 other packages
    Last published 03 Oct 2022
  42. cairo2-pango
    Interface between Cairo and Pango (for Gtk2)
    Cairo stroke drawing tutorial
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Pierre Hauweele <pierre@hauweele.net>
    0.6.4
    LGPL-3.0
    Used by 0 other packages
    Last published 03 Oct 2022
  43. calculon
    Library for writing IRC bots in OCaml and a collection of plugins
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 1 other packages
    Last published 13 Jul 2022
  44. calculon-redis
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    Last published 17 Dec 2019
  45. calculon-redis-lib
    A library to interact with Calculon via Redis
    irc bot redis
    c-cube
    0.6
    Used by 1 other packages
    Last published 17 Dec 2019
  46. calculon-web
    A collection of web plugins for Calculon
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 0 other packages
    Last published 13 Jul 2022
  47. calendar
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 23 other packages
    Last published 12 Oct 2022
  48. calipso
    Rewrites C programs to remove non-structured control-flow
    FrontC C analysis
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    Last published 26 May 2021
  49. ccbg
    Wallpaper utility for Wayland
    ccbg wallpaper sway wayland swaybg background
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    Last published 13 Feb 2023
  50. cconv
    Combinators for Type Conversion in OCaml
    conversion gadt serialization
    Simon Cruanes
    0.5
    Used by 4 other packages
    Last published 09 Mar 2019
  51. cconv-ppx
    Combinators for Type Conversion in OCaml
    conversion gadt serialization ppx-deriving
    Simon Cruanes
    0.5
    Used by 0 other packages
    Last published 09 Mar 2019
  52. cdrom
    Query the state and contents of CDROM devices under Linux
    org:xapi-project
    Dave Scott <dave@recoil.org>
    0.9.4
    Used by 0 other packages
    Last published 23 Dec 2020
  53. cgroups
    An OCaml interface for the Linux control groups
    cgroups
    Guillaume Bury
    0.1
    BSD-3-Clause
    Used by 0 other packages
    Last published 29 Jul 2015
  54. cmdliner
    Declarative definition of command line interfaces for OCaml
    cli system declarative org:erratique
    The cmdliner programmers
    1.1.1
    ISC
    Used by 368 other packages
    Last published 24 Mar 2022
  55. cohttp-lwt-unix-nossl
    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray
    3.0.0
    ISC
    Used by 2 other packages
    Last published 06 Nov 2020
  56. cohttp-lwt-unix-ssl
    CoHTTP implementation for Unix and Windows using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Stefano Zacchiroli David Sheets Thomas Gazagnaire David Scott Rudi Grinberg Andy Ray
    3.0.0
    ISC
    Used by 0 other packages
    Last published 06 Nov 2020
  57. conf-opencc0
    Virtual package relying on opencc v0 (libopencc.so.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    Last published 06 Dec 2018
  58. conf-opencc1
    Virtual package relying on opencc v1 (libopencc.so.2) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    Last published 06 Dec 2018
  59. conf-opencc1_1
    Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
    opencc Chinese conversion
    ZAN DoYe
    1
    MIT
    Used by 1 other packages
    Last published 06 Oct 2021
  60. configuration
    Analyse configuration files
    configuration system
    Michael Grünewald
    0.4.1
    CeCILL-B
    Used by 1 other packages
    Last published 10 Oct 2015
  61. conjury
    Conjury library for OMake
    org:conjury.org
    james woodyatt <jhw@conjury.org>
    2.2
    BSD-2-Clause
    Used by 1 other packages
    Last published 16 Mar 2023
  62. containers
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 66 other packages
    Last published 09 Feb 2023
  63. containers-data
    A set of advanced datatypes for containers
    containers RAL functional vector okasaki
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 5 other packages
    Last published 09 Feb 2023
  64. containers-thread
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.11
    BSD-2-Clause
    Used by 0 other packages
    Last published 09 Feb 2023
  65. coq-of-ocaml
    Compile a subset of OCaml to Coq
    keyword:compilation keyword:OCaml logpath:CoqOfOCaml
    Guillaume Claret
    2.5.3+4.14
    MIT
    Used by 0 other packages
    Last published 06 Jan 2023
  66. core-and-more
    Includes core, and some more useful extensions
    stdlib containers
    Anders Miltner
    0.0.1
    MIT
    Used by 0 other packages
    Last published 27 Jul 2021
  67. corecount
    Get count of cores on machine
    clib:stdc
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 15 Dec 2016
  68. cow
    Caml on the Web
    org:mirage org:xapi-project www html xml css json markdown
    Anil Madhavapeddy Thomas Gazagnaire David Sheets Rudi Grinberg Timothy Bourke
    2.4.0
    ISC
    Used by 6 other packages
    Last published 13 Mar 2019
  69. crlibm
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    Last published 11 Nov 2021
  70. crunch
    Convert a filesystem into a static OCaml module
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire Stefanie Schirmer Hannes Mehnert
    3.3.1
    ISC
    Used by 22 other packages
    Last published 05 Aug 2022
  71. cstruct
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon
    6.2.0
    ISC
    Used by 232 other packages
    Last published 14 Mar 2023
  72. cstruct-async
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 2 other packages
    Last published 14 Mar 2023
  73. cstruct-lwt
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 28 other packages
    Last published 14 Mar 2023
  74. cstruct-sexp
    S-expression serialisers for C-like structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Anton Kochkov Etienne Millon
    6.2.0
    ISC
    Used by 7 other packages
    Last published 14 Mar 2023
  75. cstruct-unix
    Access C-like structures directly from OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Richard Mortier Thomas Gazagnaire Pierre Chambart David Kaloper Jeremy Yallop David Scott Mindy Preston Thomas Leonard Etienne Millon
    6.2.0
    ISC
    Used by 12 other packages
    Last published 14 Mar 2023
  76. csv
    A pure OCaml library to read and write CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    Last published 10 Dec 2019
  77. csv-lwt
    A pure OCaml library to read and write CSV files, LWT version
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 10 Dec 2019
  78. csvtool
    Command line tool for handling CSV files
    csv database science
    Richard Jones Christophe Troestler
    2.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 10 Dec 2019
  79. ctoxml
    Parses a C program into Cabs AST and dumps as an XML document
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    Last published 26 May 2021
  80. cue_sheet_maker
    A library to create cue sheet
    Cue Sheet Maker
    EruEri
    0.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    Last published 25 Jul 2022
  81. cviode
    Contact variational integrators - native ocaml version
    ODE scientific-computing
    Marcello Seri <m.seri@rug.nl>
    0.0.4
    MIT
    Used by 0 other packages
    Last published 07 Oct 2020
  82. disml
    An OCaml library for interfacing with the Discord API
    discord
    Adelyn Breedlove <tenseiken595@gmail.com>
    0.2.5
    MIT
    Used by 0 other packages
    Last published 12 Feb 2019
  83. dns-async
    DNS implementation using the Async concurrency framework
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan David Scott
    1.1.3
    ISC
    Used by 0 other packages
    Last published 15 Jul 2019
  84. dns-lwt
    DNS implementation in portable Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan David Scott
    1.1.3
    ISC
    Used by 3 other packages
    Last published 15 Jul 2019
  85. dns-lwt-unix
    DNS implementation for Unix and Windows using Lwt_unix
    org:mirage org:xapi-project
    Anil Madhavapeddy Tim Deegan Richard Mortier Haris Rotsos David Sheets Thomas Gazagnaire Luke Dunstan David Scott
    1.1.3
    ISC
    Used by 0 other packages
    Last published 15 Jul 2019
  86. doc-ock
    Extract documentation from OCaml files
    doc ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> Thomas Refis <trefis@janestreet.com>
    1.2.1
    ISC
    Used by 3 other packages
    Last published 07 Apr 2018
  87. doc-ock-html
    From doc-ock to HTML
    doc html ocaml org:ocaml-doc
    Thomas Refis <trefis@janestreet.com>
    1.2.1
    ISC
    Used by 1 other packages
    Last published 07 Apr 2018
  88. doc-ock-xml
    XML printer and parser for Doc-Ock
    doc xml ocaml org:ocaml-doc
    Leo White <lpw25@cl.cam.ac.uk> David Sheets <sheets@alum.mit.edu>
    1.2.1
    ISC
    Used by 1 other packages
    Last published 07 Apr 2018
  89. dockerfile
    Dockerfile eDSL in OCaml
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor Kate Deplaix Louis Gesbert Mark Elvers Thomas Leonard Tim McGilchrist
    8.2.0
    ISC
    Used by 5 other packages
    Last published 23 Mar 2023
  90. dockerfile-cmd
    Dockerfile eDSL -- generation support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor Kate Deplaix Louis Gesbert Mark Elvers Thomas Leonard Tim McGilchrist
    8.2.0
    ISC
    Used by 1 other packages
    Last published 23 Mar 2023
  91. dockerfile-opam
    Dockerfile eDSL -- opam support
    org:mirage org:ocamllabs
    Anil Madhavapeddy Anton Kochkov Antonin Décimo David Allsopp Ewan Mellor Kate Deplaix Louis Gesbert Mark Elvers Thomas Leonard Tim McGilchrist
    8.2.0
    ISC
    Used by 1 other packages
    Last published 23 Mar 2023
  92. dolmen
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 6 other packages
    Last published 13 Feb 2023
  93. dolmen_bin
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023
  94. dolmen_loop
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 13 Feb 2023
  95. dolmen_lsp
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 13 Feb 2023
  96. dolmen_model
    A model checker for automated deduction languages
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 1 other packages
    Last published 13 Feb 2023
  97. dolmen_type
    A typechecker for automated deduction languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.8.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 13 Feb 2023
  98. dream
    Tidy, feature-complete Web framework
    http web framework websocket graphql server http2 tls
    Anton Bachin
    1.0.0~alpha4
    MIT
    Used by 12 other packages
    Last published 08 Mar 2022
  99. drom
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 03 Jan 2023
  100. drom_lib
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 03 Jan 2023
  101. drom_toml
    The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com> Léo Andrès <leo.andres@ocamlpro.com>
    0.8.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 03 Jan 2023
  102. dropbox
    Binding to the Dropbox Remote API
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 13 Sep 2019
  103. dropbox_lwt_unix
    Binding to the Dropbox Remote API (Unix)
    dropbox sync
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 13 Sep 2019
  104. dyntype
    syntax extension which makes OCaml types and values easier to manipulate programmatically
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire
    0.9.0
    ISC
    Used by 2 other packages
    Last published 21 Nov 2013
  105. enumerators
    Finite lazy enumerators
    org:cryptosense
    Bertrand Bonnefoy-Claudet <bertrand@cryptosense.com>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    Last published 07 Nov 2016
  106. erssical
    Converting RSS event feeds to ical
    rss xml ical http
    Zoggy <zoggy@bat8.org>
    1.1.0
    LGPL-3.0-only
    Used by 0 other packages
    Last published 15 Dec 2021
  107. extism
    Extism bindings
    topics wasm plugin
    Extism Authors <oss@extism.org>
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    Last published 16 Mar 2023
  108. extism-manifest
    Extism manifest bindings
    topics wasm plugin
    Extism Authors <oss@extism.org>
    0.2.0
    BSD-3-Clause
    Used by 1 other packages
    Last published 16 Mar 2023
  109. ez_cmdliner
    Easy interface to Cmdliner à la Arg.parse with sub-commands
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.4.3
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 6 other packages
    Last published 08 Mar 2022
  110. ez_config
    Easy management of configuration files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Last published 08 Mar 2022
  111. ez_file
    Easy file manipulation (read_file, write_file, etc.)
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Last published 08 Mar 2022
  112. ez_opam_file
    Package ez_opam_file is a simple compatibility layer on top of opam-file-format
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 07 Dec 2020
  113. ez_search
    The ez_search library
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 08 Mar 2022
  114. ez_subst
    Ez_subst is a simple module to perform string substitutions
    org:ocamlpro
    Fabrice LE FESSANT <fabrice.le_fessant@origin-labs.com>
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 08 Mar 2022
  115. ezcurl
    Friendly wrapper around OCurl
    curl web http client
    Simon Cruanes
    0.2.2
    MIT
    Used by 3 other packages
    Last published 13 Feb 2023
  116. ezcurl-lwt
    Friendly wrapper around OCurl, Lwt version
    curl web http client lwt
    Simon Cruanes
    0.2.2
    MIT
    Used by 0 other packages
    Last published 13 Feb 2023
  117. ezdl
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Last published 03 Nov 2022
  118. ezjsonm
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 49 other packages
    Last published 13 Nov 2021
  119. ezjsonm-lwt
    Simple Lwt-based interface to the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 0 other packages
    Last published 13 Nov 2021
  120. ezxmlm
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 8 other packages
    Last published 02 Feb 2019
  121. FrontC
    Parses C programs to an abstract syntax tree
    FrontC C parser XML
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 3 other packages
    Last published 26 May 2021
  122. farmhash
    Bindings for Google's farmhash library
    org:ahrefs clib:farmhash
    Ahrefs <github@ahrefs.com>
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 21 Jan 2022
  123. fat-filesystem
    Pure OCaml implementation of the FAT filesystem
    org:mirage org:xapi-project
    Dave Scott Anil Madhavapeddy
    0.15.1
    ISC
    Used by 2 other packages
    Last published 11 Apr 2022
  124. fd-send-recv
    Bindings for sendmsg/recvmsg that allow Unix.file_descrs to be sent and received over Unix domain sockets
    org:mirage org:xapi-project
    David Scott David Sheets Euan Harris Vincent Bernardoff
    2.0.2
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    Last published 07 Dec 2022
  125. frama-c
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Thibaut Benjamin Allan Blanchard Lionel Blatter François Bobot Richard Bonichon Quentin Bouillaguet David Bühler Zakaria Chihani Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Basile Desloges Jean-Christophe Filliâtre Philippe Herrmann Maxime Jacquemin Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre Dara Ly David Maison Claude Marché André Maroneze Thibault Martin Fonenantsoa Maurica Melody Méaulle Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Dario Pinto Virgile Prevosto Armand Puccetti Félix Ridoux Virgile Robles Muriel Roger Julien Signoles Nicolas Stouls Kostyantyn Vorobyov Boris Yakobowski
    26.1
    LGPL-2.1-only
    Used by 3 other packages
    Last published 16 Feb 2023
  126. frama-c-base
    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon David Bühler Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Jean-Christophe Filliâtre Philippe Herrmann Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre David Maison Claude Marché André Maroneze Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Virgile Prevosto Armand Puccetti Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    Last published 30 Oct 2018
  127. frama-c-e-acsl
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    Last published 28 Jul 2015
  128. frama-c-lannotate
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    Last published 26 Aug 2022
  129. frama-c-luncov
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    Last published 26 Aug 2022
  130. frama-c-metacsl
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles
    0.4
    LGPL-2.1-only
    Used by 0 other packages
    Last published 09 Dec 2022
  131. freetds
    Binding to the FreeTDS library
    clib:ct clib:sybdb
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Kenn Knowles <kenn.knowles@gmail.com>
    0.7
    LGPL-2.1-only
    Used by 1 other packages
    Last published 07 Feb 2019
  132. funfields
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    Last published 22 Jul 2020
  133. gammu
    Cell phone and SIM card access
    SMS phone clib:gammu
    Christophe Troestler Noémie Meunier Pierre Hauweele
    0.9.4
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 07 Feb 2018
  134. gasoline
    Unix-ish application development framework
    application
    Michael Grünewald
    0.5.0
    CeCILL-B
    Used by 0 other packages
    Last published 04 Jul 2016
  135. genet
    Genet is tool to build a continuous integration platform.
    continuous integration test execution chains rdf sparql
    Maxence Guesdon
    0.6
    GPL-3.0-only
    Used by 0 other packages
    Last published 21 Jan 2014
  136. geojson
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.1.0
    MIT
    Used by 1 other packages
    Last published 31 Oct 2022
  137. geojsone
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.1.0
    MIT
    Used by 1 other packages
    Last published 31 Oct 2022
  138. getopt
    Parsing of command line arguments (similar to GNU GetOpt) for OCaml
    topics command-line
    Alain Frisch
    20230213
    MIT
    Used by 2 other packages
    Last published 16 Feb 2023
  139. getopts
    Analyse command line arguments
    cli system
    Michael Grünewald
    0.4.0
    CeCILL-B
    Used by 1 other packages
    Last published 04 Jul 2016
  140. gg
    Basic types for computer graphics in OCaml
    matrix vector color data-structure graphics org:erratique
    The gg programmers
    1.0.0
    ISC
    Used by 11 other packages
    Last published 15 Feb 2022
  141. github
    GitHub APIv3 OCaml library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 6 other packages
    Last published 27 Jan 2022
  142. github-data
    GitHub APIv3 data library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 1 other packages
    Last published 27 Jan 2022
  143. github-jsoo
    GitHub APIv3 JavaScript library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 0 other packages
    Last published 27 Jan 2022
  144. github-unix
    GitHub APIv3 Unix library
    org:mirage org:xapi-project git
    Anil Madhavapeddy David Sheets Andy Ray Jeff Hammerbacher Thomas Gazagnaire Rudi Grinberg Qi Li Jeremy Yallop Dave Tucker
    4.4.1
    MIT
    Used by 5 other packages
    Last published 27 Jan 2022
  145. gitlab_pipeline_notifier
    Watches GitLab pipelines and notifies on status updates using 'send-notify'
    topics gitlab
    Arvid Jakobsson
    0.1
    MIT
    Used by 0 other packages
    Last published 15 Sep 2022
  146. glical
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    Last published 03 Sep 2016
  147. glMLite
    OpenGL bindings for OCaml
    bindings opengl graphics 3D
    Florent Monnier
    0.03.53
    Used by 0 other packages
    Last published 04 Sep 2019
  148. gradescope_submit
    A small script to submit to Gradescope via GitHub
    topics git gradescope https api
    Nikhil Mittu
    2.0.1
    MIT
    Used by 0 other packages
    Last published 22 Mar 2023
  149. grib
    Bindings for the ECMWF GRIB API
    clib:png clib:openjpeg clib:m clib:jpeg clib:jasper clib:grib weather grib
    Hezekiah M. Carty
    0.11.0
    MIT
    Used by 0 other packages
    Last published 06 Sep 2015
  150. hdfs
    Bindings to libhdfs
    org:ygrek clib:hdfs
    ygrek
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 12 Oct 2021
  151. hdr_histogram
    OCaml bindings to Hdr Histogram
    histogram tail latency
    KC Sivaramakrishnan
    0.0.3
    MIT
    Used by 1 other packages
    Last published 23 Feb 2023
  152. hmap
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 12 other packages
    Last published 05 Oct 2017
  153. http_async
    Async library for HTTP/1.1 servers
    http-server http http1.1 async
    Anurag Soni <anurag@sonianurag.com>
    0.2.0
    MIT
    Used by 0 other packages
    Last published 10 Nov 2022
  154. hyper
    Web client with HTTP/1, HTTP/2, TLS, and WebSocket support
    http web client websocket http2 tls dream
    Anton Bachin
    1.0.0~alpha1
    MIT
    Used by 0 other packages
    Last published 14 Feb 2022
  155. i3ipc
    A pure OCaml implementation of the i3 IPC protocol
    i3 ipc window-manager
    Armaël Guéneau
    0.4
    MIT
    Used by 1 other packages
    Last published 16 May 2021
  156. immutable
    Pure Reason implementation of persistent immutable data structures.
    reason reasonml ocaml immutable
    Dave Bordoley <bordoley@gmail.com>
    0.0.15
    BSD-3-Clause
    Used by 0 other packages
    Last published 16 May 2017
  157. integration1d
    Collection of 1D numerical integration routines
    science numerics
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    ISC
    Used by 0 other packages
    Last published 15 Sep 2019
  158. interface-prime
    Interfaces for common design patterns
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 2 other packages
    Last published 15 Jan 2019
  159. interface-prime-lwt
    Interfaces for common design patterns (LWT implementation)
    interface monad io lwt
    Dorian Peake <dorian@vereia.com>
    0.1
    Used by 0 other packages
    Last published 15 Jan 2019
  160. interval
    An interval arithmetic library for OCaml (meta package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 0 other packages
    Last published 09 Dec 2022
  161. interval_base
    An interval library for OCaml (base package)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 3 other packages
    Last published 09 Dec 2022
  162. interval_crlibm
    An interval library for OCaml (crlibm version)
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    Last published 09 Dec 2022
  163. interval_intel
    An interval library for OCaml
    interval science
    Jean-Marc Alliot <jean-marc.alliot@irit.fr> Jean-Baptiste Gotteland <gottelan@recherche.enac.fr> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    1.6
    LGPL-3.0-only
    Used by 1 other packages
    Last published 09 Dec 2022
  164. ip2location
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.0.0
    MIT
    Used by 0 other packages
    Last published 20 Oct 2022
  165. ipaddr
    A library for manipulation of IP (and MAC) address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 85 other packages
    Last published 15 Mar 2023
  166. ipaddr-cstruct
    A library for manipulation of IP address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 2 other packages
    Last published 15 Mar 2023
  167. ipaddr-sexp
    A library for manipulation of IP address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 8 other packages
    Last published 15 Mar 2023
  168. iri
    Implementation of Internationalized Resource Identifiers (IRIs)
    iri web rfc3987
    Zoggy <zoggy@bat8.org>
    0.6.0
    LGPL-3.0-only
    Used by 2 other packages
    Last published 12 Dec 2021
  169. javascriptcore
    OCaml bindings to JavaScriptCore
    clib:javascriptcoregtk clib:c
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.0.1
    BSD-3-Clause
    Used by 0 other packages
    Last published 27 Oct 2016
  170. jemalloc
    Bindings to jemalloc mallctl api
    org:ahrefs clib:jemalloc
    joris giovannangeli
    0.2
    MIT
    Used by 0 other packages
    Last published 16 Sep 2019
  171. jsonm
    Non-blocking streaming JSON codec for OCaml
    json codec org:erratique
    The jsonm programmers
    1.0.2
    ISC
    Used by 27 other packages
    Last published 08 Mar 2023
  172. junit_alcotest
    JUnit XML reports generation for alcotest tests
    junit jenkins alcotest
    Louis Roché <louis@louisroche.net>
    2.0.2
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    Last published 13 Feb 2020
  173. kdl
    An implementation of the KDL document laguage
    configuration-language serialization-language
    github.com/Bannerets <comonoid@protonmail.com>
    0.1.0
    MIT
    Used by 0 other packages
    Last published 03 Oct 2022
  174. lablgtk-extras
    A collection of additional tools and libraries to develop ocaml applications based on Lablgtk2.
    gtk utils configuration
    Maxence Guesdon
    1.6
    LGPL-2.0-or-later
    Used by 4 other packages
    Last published 10 Apr 2017
  175. labrys
    A toy language based on LLVM that implements the System Fω type-system
    compiler System F System Fω llvm type-system language
    Kate <kit.ty.kate@disroot.org>
    0.1
    MIT
    Used by 0 other packages
    Last published 09 Aug 2018
  176. lbfgs
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.3
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 13 Sep 2019
  177. leaflet
    Bindings for the Leaflet JavaScript library
    leaflet javascript bindings interactive map openstreetmap
    pukkamustard <pukkamustard@posteo.net> swrup <swrup@protonmail.com> Léo Andrès <contact@ndrs.fr>
    0.1
    BSD-2-Clause
    Used by 0 other packages
    Last published 16 Jun 2022
  178. libra-tk
    Learning and inference with discrete probabilistic models
    clib:expat
    Daniel Lowd <lowd@cs.uoregon.edu> Amirmohammad (Pedram) Rooshenas <pedram@cs.uoregon.edu>
    1.1.2
    BSD-2-clause
    Used by 0 other packages
    Last published 17 Jun 2015
  179. libssh
    Bindings to libssh
    clib:ssh
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.1
    BSD-3-Clause
    Used by 1 other packages
    Last published 27 Sep 2015
  180. libvhd
    OCaml bindings for the C library 'libvhd' which allows the manipulation
    org:mirage org:xapi-project
    Jon Ludlam
    0.9.0
    Used by 0 other packages
    Last published 21 Nov 2013
  181. libvirt
    Libvirt is a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.
    org:mirage org:xapi-project
    Richard W.M. Jones
    0.6.1.4
    Used by 2 other packages
    Last published 11 Nov 2015
  182. libzipperposition
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    Last published 05 Sep 2021
  183. lilac
    Get the value of any field in a YAML file as a string
    library lib lilac yaml
    Shea Newton <lilac@shnewto.dev>
    0.1.1
    MIT
    Used by 0 other packages
    Last published 03 Feb 2021
  184. lilis
    Library to Interpret Lindenmayer Systems
    lsystem grammar graphics logo
    Gabriel Radanne
    0.2.1
    MIT
    Used by 0 other packages
    Last published 25 Oct 2014
  185. llopt
    Just a tiny LLVM-IR optimizer for testing stuff.
    llvm optimization test testing compiler
    Kate <kit.ty.kate@disroot.org>
    1.0.0
    MIT
    Used by 0 other packages
    Last published 12 Mar 2018
  186. llvmgraph
    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    Last published 21 Apr 2015
  187. lmdb
    Bindings for LMDB, a fast in-file database with ACID transactions
    clib:lmdb database
    Gabriel Radanne Christopher Zimmermann <christopher@gmerlin.de>
    1.0
    MIT
    Used by 0 other packages
    Last published 22 Apr 2020
  188. logtk
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    Last published 05 Sep 2021
  189. lru-cache
    A simple implementation of a LRU cache.
    cache
    Maxence Guesdon
    0.3.0
    BSD-3-Clause
    Used by 1 other packages
    Last published 04 Apr 2017
  190. lutin
    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Last published 03 Nov 2022
  191. lwt-pipe
    An alternative to `Lwt_stream` with interfaces for producers and consumers and a bounded internal buffer
    lwt pipe stream blocking
    Simon Cruanes
    0.1
    Used by 0 other packages
    Last published 30 Jan 2020
  192. lz4
    Bindings to the LZ4 compression algorithm
    lz4 compression decompression
    whitequark <whitequark@whitequark.org>
    1.2.0
    BSD-3-clause
    Used by 3 other packages
    Last published 14 Jul 2022
  193. macaddr
    A library for manipulation of MAC address representations
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 22 other packages
    Last published 15 Mar 2023
  194. macaddr-cstruct
    A library for manipulation of MAC address representations using Cstructs
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 2 other packages
    Last published 15 Mar 2023
  195. macaddr-sexp
    A library for manipulation of MAC address representations using sexp
    org:mirage org:xapi-project
    David Sheets Anil Madhavapeddy Hugo Heuzard
    5.4.0
    ISC
    Used by 3 other packages
    Last published 15 Mar 2023
  196. maki
    Persistent incremental computations, for repeatable tests and benchmarks.
    incremental persistent memoization
    Simon Cruanes
    0.2
    Used by 0 other packages
    Last published 26 Feb 2017
  197. mastodon-archive-viewer
    View your Mastodon archive offline
    mastodon ActivityPub
    Kate <kit.ty.kate@disroot.org>
    0.4.0
    MIT
    Used by 0 other packages
    Last published 28 Oct 2022
  198. maxminddb
    Bindings to Maxmind.com's libmaxminddb library, like geoip2
    clib:maxminddb
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.6
    BSD-3-Clause
    Used by 1 other packages
    Last published 14 Sep 2015
  199. mc2
    A mcsat-based SMT solver in pure OCaml
    sat smt mcsat
    Simon Cruanes Guillaume Bury
    0.1
    Apache
    Used by 0 other packages
    Last published 18 Nov 2020
  200. mechaml
    A functional web scraping library
    web scraping mechanize http client
    Yann Hamdaoui <yann.hamdaoui@gmail.com>
    1.2.1
    LGPL-3.0-or-later
    Used by 0 other packages
    Last published 06 May 2021
  201. mesh-triangle
    Binding to the triangle mesh generator
    clib:triangle
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 19 Mar 2019
  202. message-switch
    A simple store-and-forward message switch.
    org:xapi-project
    xen-api@lists.xen.org
    1.4.0
    Used by 1 other packages
    Last published 06 Jun 2017
  203. mindstorm
    Drive Lego Mindstorms bricks from OCaml
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 1 other packages
    Last published 12 Nov 2021
  204. mindstorm-lwt
    Drive Lego Mindstorms bricks from OCaml (LWT version)
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 0 other packages
    Last published 12 Nov 2021
  205. minima-theme
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    Last published 14 Dec 2016
  206. mirage
    The MirageOS library operating system
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    4.3.5
    ISC
    Used by 4 other packages
    Last published 21 Mar 2023
  207. mirage-block-xen
    MirageOS block driver for Xen that implements the blkfront/back protocol
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott Thomas Leonard
    2.1.1
    ISC
    Used by 0 other packages
    Last published 19 Apr 2022
  208. mirage-clock-xen
    A Mirage-compatible Clock library for Xen
    org:mirage org:xapi-project
    The MirageOS team
    1.1
    Used by 2 other packages
    Last published 05 Jan 2016
  209. mirage-console
    Implementations of Mirage console devices
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 6 other packages
    Last published 02 Feb 2022
  210. mirage-console-lwt
    Implementation of Mirage consoles using Lwt
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.4.3
    ISC
    Used by 7 other packages
    Last published 27 Jun 2019
  211. mirage-console-unix
    Implementation of Mirage consoles for Unix
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 7 other packages
    Last published 02 Feb 2022
  212. mirage-console-xen
    Implementation of Mirage console for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 0 other packages
    Last published 02 Feb 2022
  213. mirage-console-xen-backend
    Implementation of Mirage console backend for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 1 other packages
    Last published 02 Feb 2022
  214. mirage-console-xen-cli
    Libraries for interacting with the Xen console command-line interface.
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    2.2.0
    ISC
    Used by 0 other packages
    Last published 23 Feb 2017
  215. mirage-console-xen-proto
    Implementation of Mirage console protocol for Xen
    org:mirage org:xapi-project
    Anil Madhavapeddy David Scott
    5.1.0
    ISC
    Used by 2 other packages
    Last published 02 Feb 2022
  216. mirage-http
    MirageOS-compatible implementation of the Cohttp interfaces
    org:mirage org:xapi-project
    Anil Madhavapeddy Thomas Gazagnaire
    3.2.0
    ISC
    Used by 4 other packages
    Last published 25 Jul 2017
  217. mirage-net-direct
    TCP/IP networking stack in pure OCaml
    org:mirage org:xapi-project
    0.9.4
    Used by 1 other packages
    Last published 21 Nov 2013
  218. mirage-net-socket
    Socket-based networking stack compatible with Mirage
    org:mirage org:xapi-project
    0.9.4
    Used by 1 other packages
    Last published 21 Nov 2013
  219. mirage-runtime
    The base MirageOS runtime library, part of every MirageOS unikernel
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    4.3.5
    ISC
    Used by 10 other packages
    Last published 21 Mar 2023
  220. mirage-types
    Module type definitions for MirageOS applications
    org:mirage org:xapi-project
    Thomas Gazagnaire Anil Madhavapeddy Gabriel Radanne Mindy Preston Thomas Leonard Nicolas Ojeda Bar Dave Scott David Kaloper Hannes Mehnert Richard Mortier
    3.10.8
    ISC
    Used by 5 other packages
    Last published 22 Dec 2021
  221. mirage-types-lwt
    Lwt module type definitions for MirageOS applications
    org:mirage org:xapi-project
    The MirageOS team
    3.10.8
    ISC
    Used by 5 other packages
    Last published 22 Dec 2021
  222. mirror
    Mirror upstream OPAM package distribution files
    org:ocamllabs org:mirage
    Anil Madhavapeddy <anil@recoil.org>
    0.0.1
    ISC
    Used by 0 other packages
    Last published 05 Aug 2015
  223. monomorphic
    A small library used to shadow polymorphic operators (and functions) contained in the stdlib
    polymorphic compare equal equality monomorphic unsafe safe
    Kate <kit.ty.kate@disroot.org>
    2.1.0
    MIT
    Used by 1 other packages
    Last published 01 Nov 2022
  224. msat
    Library containing a SAT solver that can be parametrized by a theory
    sat smt cdcl functor
    Simon Cruanes Guillaume Bury
    0.9.1
    Apache-2.0
    Used by 4 other packages
    Last published 24 Mar 2021
  225. msgpck
    Fast MessagePack (http://msgpack.org) library
    messagepack msgpack binary serialization
    Vincent Bernardoff <vb@luminar.eu.org>
    1.7
    ISC
    Used by 5 other packages
    Last published 08 Jun 2021
  226. mtime
    Monotonic wall-clock time for OCaml
    time monotonic system org:erratique
    The mtime programmers
    2.0.0
    ISC
    Used by 45 other packages
    Last published 08 Dec 2022
  227. nbd
    Network Block Device (NBD) protocol implementation
    org:mirage org:xapi-project
    Jonathan Ludlam David Scott Thomas Sanders
    6.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 4 other packages
    Last published 30 Sep 2022
  228. nbd-tool
    Network Block Device (NBD) protocol implementation
    org:mirage org:xapi-project
    Jonathan Ludlam David Scott Thomas Sanders
    6.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 30 Sep 2022
  229. nbd-unix
    Network Block Device (NBD) protocol implementation
    org:mirage org:xapi-project
    Jonathan Ludlam David Scott Thomas Sanders
    6.0.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Last published 30 Sep 2022
  230. nlopt
    OCaml bindings to the NLOpt optimization library
    clib:nlopt
    Michał Kurcewicz <michal.kurcewicz@gmail.com> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.6.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Last published 09 Aug 2022
  231. note
    Declarative events and signals for OCaml
    reactive declarative signal event frp org:erratique
    The note programmers
    0.0.2
    ISC
    Used by 1 other packages
    Last published 10 Feb 2022
  232. OCADml
    Types and functions for building CAD packages in OCaml
    OCADml CAD
    Geoff deRosenroll<geoffderosenroll@gmail.com
    0.4.1
    GPL-2.0-or-later
    Used by 2 other packages
    Last published 03 Mar 2023
  233. OSCADml
    OCaml DSL for 3D solid modelling in OpenSCAD
    OCADml CAD OpenSCAD
    Geoff deRosenroll<geoffderosenroll@gmail.com Masaki Nakano<namachan10777@gmail.com>
    0.2.1
    GPL-2.0-or-later
    Used by 1 other packages
    Last published 28 Feb 2023
  234. oasis-mirage
    This is a fork of OASIS with support for native output-obj.
    org:mirage org:xapi-project
    Sylvain Le Gall Anil Madhavapeddy
    0.3.0a
    Used by 3 other packages
    Last published 21 Nov 2013
  235. obi
    interface to OCaml Build Infrastructure
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 1 other packages
    Last published 13 Jun 2018
  236. ocaml-migrate-parsetree
    Convert OCaml parsetrees between different versions
    syntax org:ocamllabs
    Frédéric Bour <frederic.bour@lakaban.net> Jérémie Dimino <jeremie@dimino.org>
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    Last published 17 Jun 2022
  237. ocaml-migrate-parsetree-ocamlbuild
    Ocamlbuild plugin for ocaml-migrate-parsetree
    syntax org:ocamllabs
    Jérémie Dimino <jeremie@dimino.org>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    Last published 11 Jan 2019
  238. ocaml-r
    Objective Caml bindings for the R interpreter
    R statistics
    Guillaume Yzyquel Maxence Guesdon Philippe Veber
    0.6.0
    GPL-3.0-only
    Used by 0 other packages
    Last published 19 Jan 2023
  239. ocaml-top
    The OCaml interactive editor for education
    org:ocamlpro gui teaching toplevel
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    Last published 09 Feb 2023
  240. ocaml-version
    Manipulate, parse and generate OCaml compiler version strings
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    3.6.1
    ISC
    Used by 6 other packages
    Last published 06 Mar 2023
  241. ocamlbuild-pkg
    An ocamlbuild plugin that helps packaging softwares.
    ocamlbuild package plugin build build-system
    Kate <kit.ty.kate@disroot.org>
    0.2.1
    MIT
    Used by 1 other packages
    Last published 18 Nov 2016
  242. ocamlfind-lint
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    Last published 05 Mar 2015
  243. ocamlgraph
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.0.0
    LGPL-2.1-only
    Used by 44 other packages
    Last published 08 Oct 2020
  244. ocamlgraph_gtk
    Displaying graphs using OCamlGraph and GTK
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.0.0
    LGPL-2.1-only
    Used by 1 other packages
    Last published 08 Oct 2020
  245. ocamlsdl2
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    restrictionless Zlib
    Used by 2 other packages
    Last published 31 Dec 2020
  246. ocamlsdl2-image
    Interface to the SDL2_image library
    bindings graphics image loader multimedia cross-platform
    Florent Monnier David Cadé Piotr Mardziel
    0.01
    restrictionless Zlib
    Used by 0 other packages
    Last published 31 Dec 2020
  247. ocamlsdl2-ttf
    Interface to the SDL2_ttf library
    bindings graphics font ttf multimedia cross-platform
    Florent Monnier David Cadé
    0.02
    restrictionless Zlib
    Used by 0 other packages
    Last published 31 Dec 2020
  248. ocb-stubblr
    OCamlbuild plugin for C stubs
    ocamlbuild
    David Kaloper Meršinjak <david@numm.org>
    0.1.1-1
    ISC
    Used by 14 other packages
    Last published 13 Oct 2018
  249. ocf
    OCaml library to read and write configuration files in JSON syntax
    configuration options json
    Zoggy <zoggy@bat8.org>
    0.8.0
    GPL-3.0-only
    Used by 7 other packages
    Last published 13 Dec 2021
  250. ocp-browser
    Console browser for the documentation of installed OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.3.4
    GPL-3.0-only
    Used by 0 other packages
    Last published 21 Sep 2022
  251. ocp-indent
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    Last published 24 Oct 2019
  252. ocp-indent-nlfork
    ocp-indent library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.4
    LGPL-3.0-or-later
    Used by 2 other packages
    Last published 07 Feb 2020
  253. ocp-index
    Lightweight completion and documentation browsing for OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.3.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 5 other packages
    Last published 21 Sep 2022
  254. ocp-pack-split
    ocp-pack and ocp-split
    org:ocamlpro
    Fabrice Le Fessant Thomas Gazagnaire
    1.0.1
    Used by 0 other packages
    Last published 21 Aug 2015
  255. ocp-reloc
    Relocation of OCaml bytecode executables
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 31 Aug 2018
  256. ocp-search
    The ocp-search tool to index/search source packages
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Last published 08 Mar 2022
  257. ocplib_stuff
    Basic stuff used by some OCP libraries and tools
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 8 other packages
    Last published 22 Sep 2020
  258. ocurl
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.9.2
    MIT
    Used by 18 other packages
    Last published 08 Jan 2022
  259. odds
    Dice roller
    games dice random
    Raphaël Proust
    1.2
    ISC
    Used by 0 other packages
    Last published 05 Oct 2022
  260. odepack
    Binding to ODEPACK
    ODE scientific-computing
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.1
    LGPL-3.0-only
    Used by 1 other packages
    Last published 27 Sep 2020
  261. odig
    Lookup documentation of installed OCaml packages
    build dev doc meta packaging org:erratique org:b0-system
    The odig programmers
    0.0.8
    ISC; LicenseRef-ParaType-Free-Font-License; LicenseRef-DejaVu-fonts
    Used by 0 other packages
    Last published 09 Feb 2022
  262. odoc-depgraph
    Custom OCamldoc generator to insert clickable dependency graphs in generated html page