4568 search results for ""

Showing 1601 - 1650
  1. ffmpeg-avutil
    Documentation
    Bindings for the ffmpeg avutil libraries
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.3.1
    LGPL-2.1-only
    Used by 6 other packages
    18 Jun 2026
  2. ffmpeg-swresample
    Documentation
    Bindings for the ffmpeg swresample library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.3.1
    LGPL-2.1-only
    Used by 1 other packages
    18 Jun 2026
  3. ffmpeg-swscale
    Documentation
    Bindings for the ffmpeg swscale library
    The Savonet Team <savonet-users@lists.sourceforge.net>
    1.3.1
    LGPL-2.1-only
    Used by 1 other packages
    18 Jun 2026
  4. fftw3
    Documentation
    Binding to the Fast Fourier Transform library FFTW
    FFT
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.8.5
    LGPL-2.1
    Used by 0 other packages
    06 Feb 2022
  5. fiat-p256
    Documentation
    Primitives for Elliptic Curve Cryptography taken from Fiat
    org:mirage
    Etienne Millon <me@emillon.org> Andres Erbsen <andreser@mit.edu> Google Inc. Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com> Massachusetts Institute of Technology
    0.2.3
    MIT
    Used by 1 other packages
    03 Nov 2020
  6. fiber
    Documentation
    Dune's monadic structured concurrency library
    Jane Street Group, LLC <opensource@janestreet.com>
    3.7.0
    MIT
    Used by 2 other packages
    08 Jun 2023
  7. fiber-lwt
    Documentation
    Compatibility layer for fibers inside Lwt
    Jane Street Group, LLC <opensource@janestreet.com>
    3.7.0
    MIT
    Used by 0 other packages
    08 Jun 2023
  8. fieldslib
    Documentation
    Syntax extension to define first class values representing record fields, to get and set record fields, iterate and fold over all fields of a record and create new record values
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 5 other packages
    23 May 2024
  9. file-rewriter
    Documentation
    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 3 other packages
    30 Sep 2024
  10. file_path
    Documentation
    A library for typed manipulation of UNIX-style file paths
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  11. 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
  12. finch
    Documentation
    Simple and fast site generator
    Roddy MacSween <github@roddymacsween.co.uk>
    0.1
    MIT
    Used by 0 other packages
    24 Jun 2020
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    22 Feb 2021
  19. flexdll

    No documentation

    FlexDLL Sources
    Alain Frisch
    0.44
    Zlib
    Used by 4 other packages
    06 May 2025
  20. 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
  21. 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
  22. flock
    Documentation
    Ctypes bindings to flock for OCaml
    Si Beaumont
    1.0.0
    Used by 0 other packages
    04 Nov 2015
  23. 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
  24. fluent-logger
    Documentation
    Structured logger for Fluentd (OCaml)
    Mitsunori Komatsu
    1.1.0
    Apache-1.0+
    Used by 0 other packages
    07 Mar 2019
  25. flux

    No documentation

    Composable streaming abstractions with Miou
    Romain Calascibetta <romain.calascibetta@gmail.com> Rizo I <rizo@odis.io>
    0.0.1~beta7
    MIT
    Used by 7 other packages
    30 Jul 2026
  26. fluxt

    No documentation

    Extensions of flux to provide basic streams (compression, hash, format)
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1~beta7
    MIT
    Used by 1 other packages
    30 Jul 2026
  27. fm-simplex-plugin
    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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. fmt

    No documentation

    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 412 other packages
    28 Jul 2025
  35. 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
  36. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.2.0
    Apache-2.0
    Used by 0 other packages
    28 Jun 2026
  37. 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
  38. format
    Documentation
    Format is a syntax extension which defines quotations for building
    0.1
    Used by 0 other packages
    21 Nov 2013
  39. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 115 other packages
    08 Sep 2020
  40. 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
  41. 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
  42. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    26 Jul 2026
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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
  48. 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
  49. 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
  50. 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
... 32 33 34 ... 92