4509 search results for ""

Showing 1601 - 1650
  1. fileutils
    Documentation
    XDG basedir location for data/cache/configuration files
    Sylvain Le Gall
    0.6.6
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 44 other packages
    31 Dec 2024
  2. finch
    Documentation
    Simple and fast site generator
    Roddy MacSween <github@roddymacsween.co.uk>
    0.1
    MIT
    Used by 0 other packages
    24 Jun 2020
  3. findlib_top
    Documentation
    Exposes findlib_top.cma without the need for using predicates
    Jane Street Group, LLC
    v0.11.0
    Apache-2.0
    Used by 0 other packages
    22 Mar 2018
  4. fit
    Documentation
    A parser for Garmin FIT data files
    Christian Lindig <lindig@gmail.com>
    1.4.1
    MIT
    Used by 0 other packages
    09 Jan 2026
  5. fix
    Documentation
    Algorithmic building blocks for memoization, recursion, and more
    François Pottier <francois.pottier@inria.fr>
    20250919
    LGPL-2.0-only
    Used by 12 other packages
    21 Sep 2025
  6. flac
    Documentation
    Bindings to libflac
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    04 Feb 2025
  7. flatunionfind
    Documentation
    A union-find data structure inside a vector
    François Pottier <francois.pottier@inria.fr>
    20241210
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    11 Dec 2024
  8. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    22 Feb 2021
  9. flexdll

    No documentation

    FlexDLL Sources
    Alain Frisch
    0.44
    Zlib
    Used by 4 other packages
    06 May 2025
  10. flint

    No documentation

    Stub of the C library Flint3
    François Bobot
    0.4.2
    LGPL-2.1-only
    Used by 0 other packages
    12 Dec 2025
  11. float_option
    Documentation
    A float option library
    float
    Stefan Muenzel <source@s.muenzel.net>
    0.0.3
    MPL-2.0
    Used by 0 other packages
    26 Jun 2025
  12. flock

    No documentation

    Ctypes bindings to flock for OCaml
    Si Beaumont
    1.0.0
    Used by 0 other packages
    04 Nov 2015
  13. flow_parser
    Documentation
    The Flow parser is a JavaScript parser written in OCaml
    Flow Team <flow@fb.com>
    0.268.0
    MIT
    Used by 0 other packages
    28 Apr 2025
  14. fluent-logger
    Documentation
    Structured logger for Fluentd (OCaml)
    Mitsunori Komatsu
    1.1.0
    Apache-1.0+
    Used by 0 other packages
    07 Mar 2019
  15. flux

    No documentation

    Composable streaming abstractions with Miou
    Romain Calascibetta <romain.calascibetta@gmail.com> Rizo I <rizo@odis.io>
    0.0.1~beta5
    MIT
    Used by 7 other packages
    21 Apr 2026
  16. fluxt

    No documentation

    Extensions of flux to provide basic streams (compression, hash, format)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1~beta5
    MIT
    Used by 1 other packages
    21 Apr 2026
  17. fm-simplex-plugin

    No documentation

    Alt-Ergo, an SMT Solver for Software Verification: FM-Simplex Plugin
    Alt-Ergo developers
    1.30
    OCamlPro Non-Commercial License
    Used by 0 other packages
    23 Nov 2016
  18. fmlib
    Documentation
    Functional monadic library
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 0 other packages
    18 Dec 2025
  19. fmlib_browser
    Documentation
    Write web applications for the browser in elm style
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 1 other packages
    18 Dec 2025
  20. fmlib_js
    Documentation
    Library for easy compilation from ocaml to javascript
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 2 other packages
    18 Dec 2025
  21. fmlib_parse
    Documentation
    Parsing with combinators and indentation sensitivity
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 3 other packages
    18 Dec 2025
  22. fmlib_pretty
    Documentation
    Pretty printing support for tree like structures
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 3 other packages
    18 Dec 2025
  23. fmlib_std
    Documentation
    Standard datatypes of Fmlib
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 6 other packages
    18 Dec 2025
  24. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 402 other packages
    28 Jul 2025
  25. fontforge-of-ocaml
    Documentation
    OCaml binding of FontForge
    font fontforge binding
    Patrick Baudin
    1.1.0
    LGPL-2.1-only
    Used by 0 other packages
    05 Apr 2022
  26. forester
    Documentation
    A tool for tending mathematical forests
    Jonathan Sterling
    5.0
    GPL-3.0-or-later
    Used by 1 other packages
    07 Jul 2025
  27. format
    Documentation
    Format is a syntax extension which defines quotations for building
    0.1
    Used by 0 other packages
    21 Nov 2013
  28. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 113 other packages
    08 Sep 2020
  29. 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
  30. 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
  31. frama-c

    No 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.1
    LGPL-2.1-only
    Used by 4 other packages
    12 Jun 2026
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. frontmatter_extractor
    Documentation
    Just frontmatter extractor
    Mikhail Lopatin <dx3mod@bk.ru>
    0.2
    MIT
    Used by 0 other packages
    23 Feb 2026
  44. fs-io

    No documentation

    File System Operations
    Jane Street Group, LLC <opensource@janestreet.com>
    3.23.1
    MIT
    Used by 1 other packages
    19 May 2026
  45. fsevents
    Documentation
    OCaml bindings to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 1 other packages
    30 Apr 2021
  46. fsevents-lwt
    Documentation
    Lwt interface to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 2 other packages
    30 Apr 2021
  47. 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
  48. fstar
    Documentation
    Verification system for effectful programs
    Nik Swamy <nswamy@microsoft.com> Jonathan Protzenko <protz@microsoft.com> Tahina Ramananandro <taramana@microsoft.com>
    2026.03.24
    Apache-2.0
    Used by 0 other packages
    29 Mar 2026
  49. 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
  50. fswatch

    No documentation

    Bindings for libfswatch -- file change monitor
    ZAN DoYe
    11-0.1.6
    MIT
    Used by 2 other packages
    26 Mar 2025
... 32 33 34 ... 91