153 search results for "tag:"ca""

Showing 51 - 100
  1. ez_search
    Documentation
    The ez_search library
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  2. ez_subst
    Documentation
    Ez_subst is a simple module to perform string substitutions
    org:ocamlpro
    Fabrice LE FESSANT <fabrice.le_fessant@origin-labs.com>
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  3. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Added to opam-repository
  4. ezjsonm
    Documentation
    Simple interface on top of the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 55 other packages
    Added to opam-repository
  5. ezjsonm-lwt
    Documentation
    Simple Lwt-based interface to the Jsonm JSON library
    org:mirage org:ocamllabs
    Thomas Gazagnaire
    1.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  6. ezxmlm
    Documentation
    Combinators for parsing and selection of XML structures
    org:mirage org:ocamllabs
    Anil Madhavapeddy
    1.1.0
    ISC
    Used by 8 other packages
    Added to opam-repository
  7. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.3.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  8. 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 3 other packages
    Added to opam-repository
  9. 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
  10. 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
  11. 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
    Added to opam-repository
  12. geojson
    Documentation
    Pure OCaml library for GeoJSON
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  13. geojsone
    Documentation
    Streaming GeoJSON library
    geojson geospatial geocaml
    Patrick Ferris
    0.2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  14. glical
    Documentation
    Glical: glancing at iCalendar data.
    org:ocamllabs
    Philippe Wang <philippe.wang@gmail.com>
    0.0.7
    ISC
    Used by 0 other packages
    Added to opam-repository
  15. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. gpt
    Documentation
    A library to manipulate GUID Partition tables
    mirage ocaml storage gpt
    PizieDust <playersrebirth@gmail.com>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  17. header-check
    Documentation
    A tool to check and update source headers, using checksums
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
    0.1.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  18. ip2location
    Documentation
    IP2Location OCaml module to get geolocation data
    ip2location geolocation
    IP2Location.com
    8.2.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  19. ip2locationio
    Documentation
    IP2Location.io OCaml module to get geolocation and WHOIS data
    ip2locationio geolocation
    IP2Location.com
    1.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  20. lbfgs
    Documentation
    Bound-constrainted optimization in many variables
    science numerics optimization minimization maximization bound-constrained large-scale
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.9.5
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  21. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    Added to opam-repository
  22. llvmgraph

    No documentation

    Ocamlgraph overlay for llvm
    llvm ocamlgraph
    Gabriel Radanne
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  23. loc
    Documentation
    Representing ranges of lexing positions from parsed files
    code-locations lexing
    Mathieu Barbin
    0.3.3
    MIT
    Used by 7 other packages
    Added to opam-repository
  24. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    Added to opam-repository
  25. lru-cache
    Documentation
    A simple implementation of a LRU cache
    cache
    Maxence Guesdon
    0.3.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  26. lutin

    No documentation

    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    Added to opam-repository
  27. matita

    No documentation

    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository
  28. mel-bastet
    Documentation
    A Melange-focused fork of Bastet for category theory and abstract algebra
    category theory abstract algebra algebra cats
    John Haley
    1.0.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  29. menhir-lsp
    Documentation
    Language Server for Menhir and Ocamllex
    lsp menhir ocamllex
    Federico Dal Pio Luogo
    0.5.0
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  30. menhirformat
    Documentation
    Formatter for Menhir and ocamllex
    format menhir ocamllex
    Federico Dal Pio Luogo
    0.2.0
    GPL-2.0-only
    Used by 1 other packages
    Added to opam-repository
  31. minima-theme
    Documentation
    OCaml port of the Jekyll Minima theme
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  32. module-graph
    Documentation
    The module-graph tool generates a graph of dependencies between OCaml modules using compiled object files
    org:ocamlpro
    Fabrice Le Fessant <fabrice.le_fessant@origin-labs.com>
    0.2.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  33. nx
    Documentation
    N-dimensional arrays for OCaml
    numerical-computation tensor-library machine-learning
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 7 other packages
    Added to opam-repository
  34. nx-datasets
    Documentation
    Common datasets for machine learning
    datasets machine-learning data-science image-classification regression
    Thibaut Mattio
    1.0.0~alpha2
    ISC
    Used by 3 other packages
    Added to opam-repository
  35. OCADml
    Documentation
    Types and functions for building CAD packages in OCaml
    OCADml CAD
    Geoff deRosenroll<geoffderosenroll@gmail.com
    0.6.0
    GPL-2.0-or-later
    Used by 2 other packages
    Added to opam-repository
  36. OSCADml
    Documentation
    OCaml DSL for 3D solid modelling in OpenSCAD
    OCADml CAD OpenSCAD CSG
    Geoff deRosenroll<geoffderosenroll@gmail.com Masaki Nakano<namachan10777@gmail.com>
    0.2.3
    GPL-2.0-or-later
    Used by 1 other packages
    Added to opam-repository
  37. obi
    Documentation
    interface to OCaml Build Infrastructure
    org:mirage org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  38. ocaml-migrate-parsetree
    Documentation
    Convert OCaml parsetrees between different versions
    syntax org:ocamllabs
    Frédéric Bour <frederic.bour@lakaban.net> Jérémie Dimino <jeremie@dimino.org>
    2.4.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    Added to opam-repository
  39. ocaml-migrate-parsetree-ocamlbuild
    Documentation
    Ocamlbuild plugin for ocaml-migrate-parsetree
    syntax org:ocamllabs
    Jérémie Dimino <jeremie@dimino.org>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  40. ocaml-top
    Documentation
    The OCaml interactive editor for education
    org:ocamlpro gui teaching toplevel
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    1.2.0
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  41. ocaml-version
    Documentation
    Manipulate, parse and generate OCaml compiler version strings
    org:ocamllabs
    Anil Madhavapeddy <anil@recoil.org>
    4.1.3
    ISC
    Used by 13 other packages
    Added to opam-repository
  42. ocaml-yescrypt
    Documentation
    OCaml bindings for the Yescrypt KDF
    cryptography password-hashing kdf yescrypt scrypt ocaml bindings
    Khalid B.
    0.1.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  43. ocamlbuild-pkg
    Documentation
    An ocamlbuild plugin that helps packaging softwares.
    ocamlbuild package plugin build build-system
    Kate <kit.ty.kate@disroot.org>
    0.2.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  44. ocamlfind-lint
    Documentation
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    Added to opam-repository
  45. ocb-stubblr
    Documentation
    OCamlbuild plugin for C stubs
    ocamlbuild
    David Kaloper Meršinjak <david@numm.org>
    0.1.1-1
    ISC
    Used by 8 other packages
    Added to opam-repository
  46. ocp-browser
    Documentation
    Console browser for the documentation of installed OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.4.1
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  47. ocp-indent
    Documentation
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.9.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 27 other packages
    Added to opam-repository
  48. ocp-indent-nlfork
    Documentation
    `ocp-indent` library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.5
    LGPL-3.0-or-later
    Used by 2 other packages
    Added to opam-repository
  49. ocp-index
    Documentation
    Lightweight completion and documentation browsing for OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne Kate Deplaix
    1.4.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 3 other packages
    Added to opam-repository
  50. ocp-pack-split
    Documentation
    ocp-pack and ocp-split
    org:ocamlpro
    Fabrice Le Fessant Thomas Gazagnaire
    1.0.1
    Used by 0 other packages
    Added to opam-repository
1 2 3 4