4436 search results for ""

Showing 1601 - 1650
  1. format
    Documentation
    Format is a syntax extension which defines quotations for building
    0.1
    Used by 0 other packages
    21 Nov 2013
  2. fpath

    No documentation

    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 110 other packages
    08 Sep 2020
  3. fpath-base
    Documentation
    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.4.0
    MIT
    Used by 5 other packages
    03 Nov 2025
  4. fpath-sexp0
    Documentation
    Adds Fpath.sexp_of_t and defines 3 new modules: Fsegment, Absolute_path and Relative_path
    fpath absolute-paths relative-paths
    Mathieu Barbin
    0.4.0
    MIT
    Used by 13 other packages
    03 Nov 2025
  5. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification 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 Nicolas Bellec et al.
    32.0
    LGPL-2.1-only
    Used by 4 other packages
    08 Dec 2025
  6. frama-c-lannotate
    Documentation
    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.5
    LGPL-2.1-only
    Used by 0 other packages
    10 Feb 2026
  7. frama-c-luncov
    Documentation
    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.4
    LGPL-2.1-only
    Used by 0 other packages
    10 Jul 2025
  8. frama-c-metacsl
    Documentation
    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.10
    LGPL-2.1-only
    Used by 0 other packages
    30 Jan 2026
  9. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.19
    LGPL-2.1-only
    Used by 0 other packages
    19 Feb 2026
  10. frama_c_codex
    Documentation
    A modular static analyser of C programs, based on abstract interpretation. The package contains both a standalone frama_c_codex executable, as well as a Frama-C plugin
    Matthieu Lemerre Julien Simonnet Olivier Nicole Paul Robert Dorian Lesbre et al.
    1.0-rc4
    LGPL-2.1-or-later
    Used by 0 other packages
    05 Feb 2026
  11. fred
    Documentation
    API binding for Federal Reserve Economic Data
    api binding federal reserve ecomonic data
    Geoffrey Borough
    0.1.0
    MIT
    Used by 0 other packages
    17 Apr 2024
  12. freetds
    Documentation
    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
    07 Feb 2019
  13. freetennis

    No documentation

    Free Tennis, a free tennis simulation.
    Maurizio Colucci
    0.4.8
    GPL-2.0-only
    Used by 0 other packages
    14 Jun 2014
  14. frei0r
    Documentation
    Bindings for the frei0r API which provides video effects
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.2
    LGPL-2.1-or-later
    Used by 0 other packages
    16 Mar 2021
  15. frenetic
    Documentation
    The Frenetic Programming Language and Runtime System
    Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>
    5.0.5
    LGPL-3.0-or-later
    Used by 0 other packages
    09 Nov 2021
  16. fromager
    Documentation
    A CLI to format an ocaml codebase
    davidwong.crypto@gmail.com
    0.5.0
    Apache-2.0
    Used by 0 other packages
    07 Dec 2021
  17. frontmatter_extractor
    Documentation
    Just frontmatter extractor
    Mikhail Lopatin <dx3mod@bk.ru>
    0.2
    MIT
    Used by 0 other packages
    23 Feb 2026
  18. fs-io
    Documentation
    File System Operations
    Jane Street Group, LLC <opensource@janestreet.com>
    3.21.1
    MIT
    Used by 1 other packages
    13 Feb 2026
  19. fsevents
    Documentation
    OCaml bindings to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 1 other packages
    30 Apr 2021
  20. fsevents-lwt
    Documentation
    Lwt interface to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 2 other packages
    30 Apr 2021
  21. fsml
    Documentation
    A library for describing and describing synchronous finite state machines
    Jocelyn Sérot <jocelyn.serot@uca.fr>
    0.3.0
    MIT
    Used by 0 other packages
    10 Mar 2021
  22. fstar
    Documentation
    Verification system for effectful programs
    Nik Swamy <nswamy@microsoft.com> Jonathan Protzenko <protz@microsoft.com> Tahina Ramananandro <taramana@microsoft.com>
    2025.12.15
    Apache-2.0
    Used by 0 other packages
    29 Jan 2026
  23. fstreams
    Documentation
    Functional, lazy, infinite streams.
    Joseph Abrahamson <me@jspha.com>
    0.2.1
    BSD-3-Clause
    Used by 0 other packages
    18 Feb 2015
  24. fswatch

    No documentation

    Bindings for libfswatch -- file change monitor
    ZAN DoYe
    11-0.1.6
    MIT
    Used by 2 other packages
    26 Mar 2025
  25. fswatch_async

    No documentation

    JaneStreet Async extension for fswatch
    ZAN DoYe
    11-0.1.2
    MIT
    Used by 0 other packages
    20 Oct 2022
  26. fswatch_lwt

    No documentation

    Lwt extension for fswatch
    ZAN DoYe
    11-0.1.0
    MIT
    Used by 0 other packages
    05 Jan 2020
  27. fun-postgresql
    Documentation
    PostgreSQL query support
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    0.2.3
    GPL-3.0-or-later
    Used by 0 other packages
    17 Jun 2024
  28. fun-sql
    Documentation
    Shared code for SQL libraries
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    0.2.3
    GPL-3.0-or-later
    Used by 2 other packages
    17 Jun 2024
  29. fun-sqlite
    Documentation
    SQLite query support
    org:yawaramin
    Yawar Amin <yawar.amin@gmail.com>
    0.2.3
    GPL-3.0-or-later
    Used by 0 other packages
    17 Jun 2024
  30. functoria

    No documentation

    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.0.0
    ISC
    Used by 1 other packages
    28 Mar 2022
  31. functoria-runtime

    No documentation

    Runtime support library for functoria-generated code
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.0.0
    ISC
    Used by 3 other packages
    28 Mar 2022
  32. functory
    Documentation
    Distributed computing library.
    Jean-Christophe Filliâtre Kalyan Krishnamani
    0.6
    LGPL-2.1-only
    Used by 0 other packages
    25 May 2018
  33. funfields
    Documentation
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    22 Jul 2020
  34. fungi
    Documentation
    A pure functional graph library
    graph functional networks
    Harry K <harryk@harryk.dev>
    0.1.4
    MIT
    Used by 0 other packages
    08 May 2025
  35. fuseau
    Documentation
    A simple IO and concurrency library for OCaml 5
    await effects event-loop thread-local-storage
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    27 Feb 2024
  36. fuseau-lwt
    Documentation
    Lwt backend for Fuseau
    fuseau lwt
    Simon Cruanes
    0.1
    MIT
    Used by 0 other packages
    27 Feb 2024
  37. fuzzy_compare
    Documentation
    Fastest bounded Levenshtein comparator over generic structures
    Simon Grondin
    2.0.1
    MIT
    Used by 0 other packages
    11 Jul 2023
  38. fuzzy_match
    Documentation
    Libraries for fuzzy string matching
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    26 May 2024
  39. fzf
    Documentation
    A library for running the fzf command line tool
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  40. General
    Documentation
    Rich functionality for built-in and basic OCaml types
    Vincent Jacques <vincent@vincent-jacques.net>
    0.7.0
    MIT
    Used by 1 other packages
    03 Sep 2019
  41. GT
    Documentation
    Generic programming with extensible transformations
    https://github.com/dboulytchev https://github.com/Kakadu
    0.5.4
    LGPL-2.1-or-later
    Used by 3 other packages
    26 Mar 2025
  42. GuaCaml
    Documentation
    GuaCaml : Generic Unspecific Algorithmic in OCaml
    Joan Thibault <joan.thibault@ens-rennes.fr>
    0.05
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    02 Aug 2022
  43. gadelac
    Documentation
    Preprocessor for the Game Description Language.
    Abdallah Saffidine
    0.6.1
    BSD-2-Clause
    Used by 0 other packages
    17 Jun 2014
  44. gammu
    Documentation
    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
    07 Feb 2018
  45. gapi-ocaml
    Documentation
    A simple OCaml client for Google Services
    Alessandro Strada
    0.4.8
    MIT
    Used by 1 other packages
    03 Jan 2026
  46. gappa

    No documentation

    Tool intended for formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic
    Guillaume Melquiond
    1.6.0
    CECILL-2.1
    Used by 0 other packages
    23 Nov 2025
  47. gavl
    Documentation
    Bindings for the gavl library which provides functions for converting images formats, colorspaces, etc.
    The Savonet Team <savonet-users@lists.sourceforge.net>
    0.1.6
    Used by 0 other packages
    17 Aug 2015
  48. gbddml
    Documentation
    The Verimag bdd library
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  49. gccjit
    Documentation
    Bindings to libgccjit, the GCC JIT compiler
    gcc jit gccjit
    Nicolas Ojeda Bar <n.oje.bar@gmail.com>
    0.3.2
    MIT
    Used by 1 other packages
    26 Jan 2024
  50. gd
    Documentation
    OCaml interface to the GD graphics library.
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.1
    LGPL-2.1-only
    Used by 0 other packages
    27 Feb 2024
... 32 33 34 ... 89