4629 search results for ""

Showing 501 - 550
  1. caisar

    No documentation

    A platform for characterizing the safety and robustness of artificial intelligence based software
    AISER team, Software Safety and Security Laboratory, CEA-List
    6.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  2. caisar-ir
    Documentation
    CAISAR's intermediate representation
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 2 other packages
    Added to opam-repository
  3. caisar-nnet
    Documentation
    NNet parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  4. caisar-onnx
    Documentation
    ONNX parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  5. caisar-ovo
    Documentation
    OVO parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  6. caisar-xgboost
    Documentation
    XGBOOST parser for CAISAR
    LAISER team, Software Safety and Security Laboratory, CEA-List
    0.2
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  7. calcium

    No documentation

    Deprecated use flint
    François Bobot
    0.4.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  8. calculon
    Documentation
    Library for writing IRC bots in OCaml and a collection of plugins
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 1 other packages
    Added to opam-repository
  9. calculon-web
    Documentation
    A collection of web plugins for Calculon
    irc bot factoids
    Armael Enjolras c-cube
    0.8
    MIT
    Used by 0 other packages
    Added to opam-repository
  10. caldav
    Documentation
    A CalDAV server
    org:mirage org:robur
    Stefanie Schirmer @linse Hannes Mehnert
    0.2.4
    ISC
    Used by 0 other packages
    Added to opam-repository
  11. calendar
    Documentation
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 21 other packages
    Added to opam-repository
  12. calendars
    Documentation
    Convert dates between gregorian/julian/french/hebrew/islamic calendars
    moon-phase gregorian julian hebrew islamic french-republican calendar date
    Daniel de Rauglaudre
    2.0.0
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  13. calipso
    Documentation
    Rewrites C programs to remove non-structured control-flow
    FrontC C analysis
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  14. calli
    Documentation
    CaLLi : OCaml Library for Static Analysis of LLVM bitcode
    Soyeon Baek <sy.baek28@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  15. callipyge
    Documentation
    Pure OCaml implementation of Curve25519
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  16. camelot
    Documentation
    An OCaml Linter / Style Checker
    Vighnesh Vijay Daniel Like William Goeller
    2.1.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  17. camels
    Documentation
    A game about camels
    game
    yomimono
    1.0.0
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  18. camelsnakekebab

    No documentation

    A Ocaml library for word case conversion
    Hao Wu <echowuhao@gmail.com>
    0.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  19. caml-mode
    Documentation
    Caml mode for GNU Emacs
    Damien Doligez Jacques Garrigue Xavier Leroy Didier Remy Ian T Zimmerman
    4.9
    GPL-2.0-or-later
    Used by 1 other packages
    Added to opam-repository
  20. camlbz2
    Documentation
    Transitional package for bz2 (renaming)
    bz2
    Stefano Zacchiroli Johannes Schauer Marin Rodrigues
    transition
    LGPL-3.0-or-later with OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  21. camldiets
    Documentation
    A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order
    Oliver Friedmann Martin Lange
    0.3
    BSD-3-clause
    Used by 0 other packages
    Added to opam-repository
  22. camlgpc
    Documentation
    Interface to Alan Murta's General Polygon Clipper
    John Whitington Alan Murta
    1.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  23. camlid
    Documentation
    OCaml library for generating C stubs
    François Bobot
    0.2
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  24. camlidl
    Documentation
    Stub code generator for OCaml
    Xavier Leroy
    1.13-1
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 14 other packages
    Added to opam-repository
  25. camlimages
    Documentation
    Image processing library
    Jun FURUSE <jun.furuse@gmail.com>
    5.0.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    Added to opam-repository
  26. camlix
    Documentation
    Simple circuit breaker
    reneweb
    0.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  27. camlkit

    No documentation

    Higher-level wrappers for Cocoa APIs
    objc cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  28. camlkit-base

    No documentation

    OCaml bindings to the Objective-C runtime and some base frameworks
    objc bindings cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  29. camlkit-gui

    No documentation

    OCaml bindings to AppKit and other gui frameworks
    objc bindings cocoa macos gnustep
    Boris D. <borisd@gmx.com>
    0.3.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  30. camllib
    Documentation
    Utility Library (including various datatypes)
    Bertrand Jeannet
    1.3.3
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  31. camlmix
    Documentation
    Camlmix is a generic preprocessor which converts text with embedded
    Martin Jambon
    1.3.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  32. camlon
    Documentation
    Caml Object Notion, parsing and printing OCaml like data expressions
    Jun Furuse
    3.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  33. camlp-streams
    Documentation
    The Stream and Genlex libraries for use with Camlp4 and Camlp5
    Daniel de Rauglaudre Xavier Leroy
    5.0.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 55 other packages
    Added to opam-repository
  34. camlp4
    Documentation
    Camlp4 is a system for writing extensible parsers for programming languages
    Daniel de Rauglaudre Nicolas Pouillard
    5.5
    LGPL-2.1-only
    Used by 50 other packages
    Added to opam-repository
  35. camlp5
    Documentation
    Preprocessor-pretty-printer of OCaml
    Daniel de Rauglaudre Chet Murthy
    8.05.02
    BSD-3-Clause
    Used by 27 other packages
    Added to opam-repository
  36. camlp5-buildscripts
    Documentation
    Camlp5 Build scripts (written in OCaml)
    Chet Murthy
    0.07
    BSD-3-Clause
    Used by 12 other packages
    Added to opam-repository
  37. camlpdf
    Documentation
    Read, write and modify PDF files
    John Whitington
    2.9
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  38. camlprime
    Documentation
    Primality testing with lazy lists of prime numbers
    Erik L. Arneson <earneson@arnesonium.com>
    0.5
    GPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository
  39. camlrack
    Documentation
    S-Expression parsing for OCaml
    S-Expressions parsing
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  40. camltc
    Documentation
    OCaml bindings for tokyo cabinet
    Jan Doms Joost Damad Romain Slootmaekers Nicolas Trangez
    0.9.8
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  41. camlzip
    Documentation
    Accessing compressed files in ZIP, GZIP and JAR format
    Xavier Leroy
    1.14
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 40 other packages
    Added to opam-repository
  42. camomile
    Documentation
    A Unicode library
    Yoriyuki Yamagata
    2.1.0
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    Added to opam-repository
  43. camomile-embedded
    Documentation
    Camomile Unicode library with data files embedded at compile time
    Yoriyuki Yamagata
    2.1.0
    LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  44. camyll
    Documentation
    A static site generator
    blog web website
    Alan Hu <ahulambda@gmail.com>
    0.4.4
    MIT
    Used by 0 other packages
    Added to opam-repository
  45. canary
    Documentation
    Capture unhandled exceptions and automatically report them through various channels
    Department of Economics, University of Zurich John Christopher McAlpine
    0.0.4
    GPL-2.0-or-later
    Used by 0 other packages
    Added to opam-repository
  46. caper
    Documentation
    A tool for understanding and processing pcap (packet capture) expressions
    https://gitlab.com/niksu/caper#contributors
    0.9
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  47. capitalization
    Documentation
    Defines case conventions and functions to rename identifiers according to them
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  48. capnp

    No documentation

    OCaml code generation plugin for the Cap'n Proto serialization framework
    Paul Pelzl <pelzlpj@gmail.com>
    3.6.0
    BSD-2-Clause
    Used by 5 other packages
    Added to opam-repository
  49. capnp-rpc
    Documentation
    Cap'n Proto is a capability-based RPC system with bindings for many languages
    Thomas Leonard <talex5@gmail.com>
    2.1.2
    Apache-2.0
    Used by 4 other packages
    Added to opam-repository
  50. capnp-rpc-lwt
    Documentation
    Cap'n Proto is a capability-based RPC system with bindings for many languages
    Thomas Leonard <talex5@gmail.com>
    2.0
    Apache-2.0
    Used by 5 other packages
    Added to opam-repository
... 10 11 12 ... 93