4532 search results for "author:" ""

Showing 1401 - 1450
  1. flex-array
    Documentation
    Flexible arrays
    Jean-Christophe Filliâtre
    1.2.0
    LGPL-2.1-only
    Used by 2 other packages
    22 Feb 2021
  2. flexdll
    Documentation
    FlexDLL Sources
    Alain Frisch
    0.43
    Zlib
    Used by 4 other packages
    18 Mar 2024
  3. flint

    No documentation

    Stub of the C library Flint3
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 3 other packages
    11 Jul 2024
  4. flock
    Documentation
    Ctypes bindings to flock for OCaml
    Si Beaumont
    1.0.0
    Used by 0 other packages
    04 Nov 2015
  5. flow_parser

    No documentation

    The Flow parser is a JavaScript parser written in OCaml
    Flow Team <flow@fb.com>
    0.246.0
    MIT
    Used by 0 other packages
    17 Sep 2024
  6. flowtype
    Documentation
    Flow is a static typechecker for JavaScript.
    Flow Team <flow@fb.com>
    0.94.0
    MIT
    Used by 0 other packages
    01 Mar 2019
  7. fluent-logger
    Documentation
    Structured logger for Fluentd (OCaml)
    Mitsunori Komatsu
    1.1.0
    Apache-1.0+
    Used by 0 other packages
    07 Mar 2019
  8. 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
  9. fmlib
    Documentation
    Functional monadic library
    Helmut Brandl <helmut.brandl@gmx.net>
    0.5.9
    BSD-3-Clause
    Used by 0 other packages
    09 Feb 2024
  10. fmlib_browser

    No documentation

    Write web applications for the browser in elm style
    Helmut Brandl <helmut.brandl@gmx.net>
    0.5.9
    BSD-3-Clause
    Used by 1 other packages
    09 Feb 2024
  11. fmlib_js
    Documentation
    Library for easy compilation from ocaml to javascript
    Helmut Brandl <helmut.brandl@gmx.net>
    0.5.9
    BSD-3-Clause
    Used by 2 other packages
    09 Feb 2024
  12. fmlib_parse
    Documentation
    Parsing with combinators and indentation sensitivity
    Helmut Brandl <helmut.brandl@gmx.net>
    0.5.9
    BSD-3-Clause
    Used by 1 other packages
    09 Feb 2024
  13. fmlib_pretty
    Documentation
    Pretty printing support for tree like structures
    Helmut Brandl <helmut.brandl@gmx.net>
    0.5.9
    BSD-3-Clause
    Used by 2 other packages
    09 Feb 2024
  14. fmlib_std
    Documentation
    Standard datatypes of Fmlib
    Helmut Brandl <helmut.brandl@gmx.net>
    0.5.9
    BSD-3-Clause
    Used by 5 other packages
    09 Feb 2024
  15. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.9.0
    ISC
    Used by 362 other packages
    25 Oct 2021
  16. 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
  17. forester

    No documentation

    A tool for tending mathematical forests
    Jonathan Sterling
    4.3.1
    GPL-3.0-or-later
    Used by 0 other packages
    26 Aug 2024
  18. forkwork
    Documentation
    Fork child processes to perform work on multiple cores
    Mike Lin
    0.3.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    21 Nov 2013
  19. fpath
    Documentation
    File system paths for OCaml
    file system path org:erratique
    The fpath programmers
    0.7.3
    ISC
    Used by 75 other packages
    08 Sep 2020
  20. fpath-base

    No documentation

    Adds a few functions to Fpath to use alongside Base
    Mathieu Barbin
    0.2.1
    MIT
    Used by 0 other packages
    27 Sep 2024
  21. fpath-sexp0

    No documentation

    Adds Fpath.sexp_of_t and defines 3 new modules: Fpart, Absolute_path and Relative_path
    Mathieu Barbin
    0.2.1
    MIT
    Used by 1 other packages
    27 Sep 2024
  22. frag

    No documentation

    File fragment extraction
    Philippe Wang <philippe.wang@gmail.com>
    0.1.0
    ISC
    Used by 0 other packages
    21 Nov 2013
  23. frama-c
    Documentation
    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 Nicolas Bellec et al.
    29.0
    LGPL-2.1-only
    Used by 5 other packages
    13 Jun 2024
  24. frama-c-base

    No documentation

    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 et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  25. frama-c-e-acsl
    Documentation
    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
    28 Jul 2015
  26. 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.3
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  27. 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.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  28. 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.6
    LGPL-2.1-only
    Used by 0 other packages
    26 Feb 2024
  29. 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.16
    LGPL-2.1-only
    Used by 0 other packages
    18 Sep 2024
  30. 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
  31. 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
  32. freetennis
    Documentation
    Free Tennis, a free tennis simulation.
    Maurizio Colucci
    0.4.8
    GPL-2.0-only
    Used by 0 other packages
    14 Jun 2014
  33. 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
  34. 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
  35. fsevents
    Documentation
    OCaml bindings to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 1 other packages
    30 Apr 2021
  36. fsevents-lwt
    Documentation
    Lwt interface to macOS FSEvents
    David Sheets Thomas Gazagnaire
    0.3.0
    ISC
    Used by 1 other packages
    30 Apr 2021
  37. 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
  38. fstar

    No documentation

    Verification system for effectful programs
    Nik Swamy <nswamy@microsoft.com> Jonathan Protzenko <protz@microsoft.com> Tahina Ramananandro <taramana@microsoft.com>
    2022.01.15
    Apache-2.0
    Used by 2 other packages
    27 Jan 2022
  39. 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
  40. fswatch

    No documentation

    Bindings for libfswatch -- file change monitor
    ZAN DoYe
    11-0.1.4
    MIT
    Used by 2 other packages
    06 Dec 2023
  41. fswatch_async

    No documentation

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

    No documentation

    Lwt extension for fswatch
    ZAN DoYe
    11-0.1.0
    MIT
    Used by 0 other packages
    05 Jan 2020
  43. ftp
    Documentation
    Functions for accessing files via FTP
    Samuel Mimram
    0.1.0
    GPL-2.0-only
    Used by 0 other packages
    21 Nov 2013
  44. 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
  45. 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
  46. 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
  47. functoria
    Documentation
    A DSL to organize functor applications
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.2
    ISC
    Used by 1 other packages
    15 Feb 2024
  48. functoria-runtime
    Documentation
    Runtime support library for functoria-generated code
    org:mirage
    Thomas Gazagnaire Anil Madhavapeddy Dave Scott Thomas Leonard Gabriel Radanne
    4.4.2
    ISC
    Used by 3 other packages
    15 Feb 2024
  49. functory
    Documentation
    Distributed computing library.
    Jean-Christophe Filliâtre Kalyan Krishnamani
    0.6
    LGPL-2.1-only
    Used by 1 other packages
    25 May 2018
  50. funfields
    Documentation
    Functional bit field library
    bit-field bits functional
    Florent Monnier
    0.04
    restrictionless Zlib
    Used by 0 other packages
    22 Jul 2020
... 28 29 30 ... 91