4405 search results for "author:" ""

Showing 301 - 350
  1. bap-ssa
    Documentation
    A BAP plugin, that translates a program into the SSA form
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  2. bap-std
    Documentation
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 82 other packages
    Added to opam-repository
  3. bap-strings
    Documentation
    Text utilities useful in Binary Analysis and Reverse Engineering
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    Added to opam-repository
  4. bap-stub-resolver
    Documentation
    Identifies and manages stub functions in a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  5. bap-symbol-reader
    Documentation
    BAP plugin that reads symbol information from files
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  6. 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
  7. bap-taint
    Documentation
    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  8. 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
  9. 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
  10. 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
  11. bap-toplevel
    Documentation
    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  12. 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
  13. 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
  14. 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
  15. 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
  16. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  17. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  18. 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
  19. 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
  20. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.3
    MIT
    Used by 223 other packages
    Added to opam-repository
  21. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 137 other packages
    Added to opam-repository
  22. base-metaocaml-ocamlfind

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    Added to opam-repository
  23. 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
  24. base32
    Documentation
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 1 other packages
    Added to opam-repository
  25. 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
  26. base64
    Documentation
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.2
    ISC
    Used by 132 other packages
    Added to opam-repository
  27. 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
  28. 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
  29. base_trie
    Documentation
    Trie data structure library
    data-structures
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  30. bastet

    No 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. bcfg
    Documentation
    A boringly simpleconfiguration format
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.1.0
    ISC
    Used by 2 other packages
    Added to opam-repository
  36. 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 1 other packages
    Added to opam-repository
  37. bdd
    Documentation
    Implementation of BDD
    Jean-Christophe Filliâtre
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  38. 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
  39. bear
    Documentation
    Bare essential additions to the stdlib
    Hezekiah M. Carty
    0.0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  40. 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
  41. bechamel
    Documentation
    Yet Another Benchmark in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 16 other packages
    Added to opam-repository
  42. bechamel-js
    Documentation
    HTML generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  43. 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
  44. 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
  45. beluga

    No 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
  46. 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
  47. bencode

    No 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
  48. bentov
    Documentation
    1D histogram sketching
    algorithms
    Mika Illouz
    1
    BSD
    Used by 2 other packages
    Added to opam-repository
  49. 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
  50. bheap

    No documentation

    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    Added to opam-repository
... 6 7 8 ... 89