4346 search results for "author:" ""

Showing 1501 - 1550
  1. 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
    Added to opam-repository
  2. 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
    Added to opam-repository
  3. fiber
    Documentation
    Dune's monadic structured concurrency library
    Jane Street Group, LLC <opensource@janestreet.com>
    3.7.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  4. 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
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. finch
    Documentation
    Simple and fast site generator
    Roddy MacSween <github@roddymacsween.co.uk>
    0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. fit
    Documentation
    A parser for Garmin FIT data files
    Christian Lindig <lindig@gmail.com>
    1.4.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. 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
    Added to opam-repository
  15. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  16. flexdll

    No documentation

    FlexDLL Sources
    Alain Frisch
    0.44
    Zlib
    Used by 4 other packages
    Added to opam-repository
  17. flint

    No documentation

    Stub of the C library Flint3
    François Bobot
    0.4.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. floatml
    Documentation
    Floats (f16, f32, f64, f128) for OCaml
    Opale Sjöstedt
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  20. flock
    Documentation
    Ctypes bindings to flock for OCaml
    Si Beaumont
    1.0.0
    Used by 0 other packages
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. fluent-logger
    Documentation
    Structured logger for Fluentd (OCaml)
    Mitsunori Komatsu
    1.1.0
    Apache-1.0+
    Used by 0 other packages
    Added to opam-repository
  23. flux
    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
    Added to opam-repository
  24. fluxt
    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
    Added to opam-repository
  25. 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
    Added to opam-repository
  26. fmlib
    Documentation
    Functional monadic library
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  27. 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
    Added to opam-repository
  28. 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
    Added to opam-repository
  29. 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
    Added to opam-repository
  30. 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
    Added to opam-repository
  31. fmlib_std
    Documentation
    Standard datatypes of Fmlib
    Helmut Brandl <helmut.brandl@gmx.net>
    0.6.2
    BSD-3-Clause
    Used by 6 other packages
    Added to opam-repository
  32. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 414 other packages
    Added to opam-repository
  33. 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
    Added to opam-repository
  34. 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
    Added to opam-repository
  35. forester
    Documentation
    A tool for tending mathematical forests
    Jonathan Sterling
    5.0
    GPL-3.0-or-later
    Used by 1 other packages
    Added to opam-repository
  36. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 115 other packages
    Added to opam-repository
  37. 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
    Added to opam-repository
  38. 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
    Added to opam-repository
  39. 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
    Added to opam-repository
  40. 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
    Added to opam-repository
  41. 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
    Added to opam-repository
  42. 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
    Added to opam-repository
  43. 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
    Added to opam-repository
  44. 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
    Added to opam-repository
  45. 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
    Added to opam-repository
  46. 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
    Added to opam-repository
  47. freetennis

    No documentation

    Free Tennis, a free tennis simulation.
    Maurizio Colucci
    0.4.8
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  48. 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
    Added to opam-repository
  49. frenetic

    No 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
    Added to opam-repository
  50. frontmatter_extractor
    Documentation
    Just frontmatter extractor
    Mikhail Lopatin <dx3mod@bk.ru>
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
... 30 31 32 ... 87