4333 search results for "author:" ""

Showing 301 - 350
  1. bap-systemz
    Documentation
    A target support package for the Systemz (Z9) ISA
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  2. bap-taint
    Documentation
    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  3. bap-taint-propagator
    Documentation
    BAP Taint propagation engine using based on microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. bap-term-mapper
    Documentation
    A BAP DSL for mapping program terms
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. bap-thumb
    Documentation
    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. bap-toplevel
    Documentation
    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  7. bap-trace
    Documentation
    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  8. bap-traces
    Documentation
    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  9. bap-trivial-condition-form
    Documentation
    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  10. bap-warn-unused
    Documentation
    Emit a warning if an unused result may cause a bug or security issue
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  11. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  12. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  13. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  14. bark
    Documentation
    Unofficial OCaml port of elm/parser (v1.1.0)
    Justin Lubin <jlubi333@gmail.com>
    0.1.4
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  15. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.3
    MIT
    Used by 222 other packages
    Added to opam-repository
  16. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 137 other packages
    Added to opam-repository
  17. base-metaocaml-ocamlfind

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    Added to opam-repository
  18. base-native-int63
    Documentation
    Virtual package for enabling native int63 support in Base
    Jane Street Group, LLC
    0.1
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  19. base32
    Documentation
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  20. base58
    Documentation
    Base58 encoding and decoding
    Adriaan Larmuseau <adriaan.larmuseau@gmail.com>
    0.1.2
    Artistic-2.0
    Used by 0 other packages
    Added to opam-repository
  21. base64
    Documentation
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.2
    ISC
    Used by 129 other packages
    Added to opam-repository
  22. base_bigstring
    Documentation
    String type based on [Bigarray], for use in I/O and C-bindings
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  23. base_quickcheck
    Documentation
    Randomized testing framework, designed for compatibility with Base
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 13 other packages
    Added to opam-repository
  24. base_trie
    Documentation
    Trie data structure library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  25. bastet
    Documentation
    An OCaml library for category theory and abstract algebra
    category theory abstract algebra algebra cats
    Risto Stevcev
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    Added to opam-repository
  26. bastet_async
    Documentation
    Async implementations for bastet
    category theory abstract algebra algebra cats async
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  27. bastet_lwt
    Documentation
    Lwt implementations for bastet
    category theory abstract algebra algebra cats lwt
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  28. batch_jaro_winkler
    Documentation
    Fast batch jaro winkler distance implementation in C99
    Dominik Bousquet
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  29. batteries
    Documentation
    A community-maintained standard library extension
    OCaml batteries-included team
    3.11.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 51 other packages
    Added to opam-repository
  30. bcfg
    Documentation
    A boringly simpleconfiguration format
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.1.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  31. bcfgt
    Documentation
    A boringly simple way to get OCaml values from configuration files
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  32. bdd
    Documentation
    Implementation of BDD
    Jean-Christophe Filliâtre
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  33. bddrand

    No documentation

    A simple front-end to the lutin Random toss machinary
    Erwan Jahier Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    Added to opam-repository
  34. bear
    Documentation
    Bare essential additions to the stdlib
    Hezekiah M. Carty
    0.0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  35. bech32
    Documentation
    Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    bitcoin
    Vincent Bernardoff <vb@luminar.eu.org>
    0.1
    ISC
    Used by 0 other packages
    Added to opam-repository
  36. bechamel
    Documentation
    Yet Another Benchmark in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 14 other packages
    Added to opam-repository
  37. bechamel-js
    Documentation
    HTML generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  38. bechamel-notty
    Documentation
    CLI generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 4 other packages
    Added to opam-repository
  39. bechamel-perf
    Documentation
    Linux perf's metrics for bechamel
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  40. beluga
    Documentation
    Implementation of contextual modal logic for reasoning with higher-order abstract syntax
    Brigitte Pientka Joshua Dunfield Andrew Cave Jacob Thomas Errington Junyoung Clare Jang et al.
    1.1.3
    GPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  41. benchmark
    Documentation
    Benchmark running times of code
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley c-cube
    1.7
    LGPL-3.0 WITH OCaml linking exception
    Used by 17 other packages
    Added to opam-repository
  42. bencode
    Documentation
    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  43. bentov
    Documentation
    1D histogram sketching
    Mika Illouz
    1
    BSD
    Used by 2 other packages
    Added to opam-repository
  44. bestline
    Documentation
    OCaml bindings for the bestline C library
    Finn Schneider
    0.2.1
    BSD-2-Clause
    Used by 0 other packages
    Added to opam-repository
  45. bheap
    Documentation
    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
  46. bibfmt
    Documentation
    CLI tools to format and deduplicate bibtex files
    Marcello Seri
    0.9.2
    MIT
    Used by 1 other packages
    Added to opam-repository
  47. bibtex2html
    Documentation
    BibTeX to HTML translator
    Jean-Christophe Filliâtre Claude Marché
    1.99-1
    GPL-2.0-only
    Used by 0 other packages
    Added to opam-repository
  48. bidirectional_map
    Documentation
    A library for bidirectional maps and multimaps.
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  49. bigarray-compat
    Documentation
    Compatibility library to use Stdlib.Bigarray when possible
    Lucas Pluvinage <lucas.pluvinage@gmail.com>
    1.1.0
    ISC
    Used by 37 other packages
    Added to opam-repository
  50. bigarray-overlap
    Documentation
    Bigarray.overlap
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.2.1
    MIT
    Used by 3 other packages
    Added to opam-repository
... 6 7 8 ... 87