4492 search results for ""

Showing 301 - 350
  1. bap-specification
    Documentation
    Implements the specification command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. 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
    14 Jul 2022
  3. bap-std
    Documentation
    The Binary Analysis Platform Standard Library
    BAP Team
    2.5.0
    MIT
    Used by 82 other packages
    14 Jul 2022
  4. bap-strings
    Documentation
    Text utilities useful in Binary Analysis and Reverse Engineering
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  5. bap-stub-resolver
    Documentation
    Identifies and manages stub functions in a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. bap-symbol-reader
    Documentation
    BAP plugin that reads symbol information from files
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. bap-systemz
    Documentation
    A target support package for the Systemz (Z9) ISA
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. bap-taint
    Documentation
    BAP Taint Analysis Framework
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  9. bap-taint-propagator
    Documentation
    BAP Taint propagation engine using based on microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. bap-term-mapper
    Documentation
    A BAP DSL for mapping program terms
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  11. bap-thumb
    Documentation
    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. bap-toplevel
    Documentation
    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  13. bap-trace
    Documentation
    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  14. bap-traces
    Documentation
    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  15. bap-trivial-condition-form
    Documentation
    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. 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
    14 Jul 2022
  17. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  18. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  20. 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
    20 Apr 2020
  21. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.3
    MIT
    Used by 217 other packages
    13 Jun 2025
  22. base-bigarray
    Documentation
    base
    Used by 58 other packages
    21 Nov 2013
  23. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 137 other packages
    03 Jul 2014
  24. base-domains
    Documentation
    base
    Used by 11 other packages
    05 Jul 2021
  25. base-effects
    Documentation
    base
    Used by 3 other packages
    05 Jul 2021
  26. base-flambda2

    No documentation

    A pseudo library to indicate the present of Flambda2 features
    base
    Used by 1 other packages
    05 Sep 2024
  27. base-metaocaml-ocamlfind

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    27 Dec 2014
  28. 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
    19 Apr 2017
  29. base-nnp
    Documentation
    Naked pointers prohibited in the OCaml heap
    base
    Used by 5 other packages
    24 Jan 2022
  30. base-num

    No documentation

    Num library distributed with the OCaml compiler
    base
    Used by 0 other packages
    03 Mar 2025
  31. base-ocamlbuild

    No documentation

    OCamlbuild binary and libraries distributed with the OCaml compiler
    base
    Used by 1 other packages
    03 Mar 2025
  32. base-threads
    Documentation
    base
    Used by 39 other packages
    21 Nov 2013
  33. base-unix
    Documentation
    base
    Used by 222 other packages
    21 Nov 2013
  34. base32
    Documentation
    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 1 other packages
    14 Jun 2022
  35. base58
    Documentation
    Base58 encoding and decoding
    Adriaan Larmuseau <adriaan.larmuseau@gmail.com>
    0.1.2
    Artistic-2.0
    Used by 0 other packages
    19 Oct 2015
  36. base64
    Documentation
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.2
    ISC
    Used by 125 other packages
    22 Sep 2025
  37. 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
    23 May 2024
  38. base_quickcheck
    Documentation
    Randomized testing framework, designed for compatibility with Base
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 11 other packages
    12 Jun 2025
  39. base_trie
    Documentation
    Trie data structure library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  40. 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
    20 Feb 2021
  41. 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
    27 Mar 2020
  42. 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
    27 Mar 2020
  43. batch_jaro_winkler
    Documentation
    Fast batch jaro winkler distance implementation in C99
    Dominik Bousquet
    0.1.1
    MIT
    Used by 0 other packages
    26 Apr 2021
  44. batsat
    Documentation
    OCaml bindings for batsat, a SAT solver in rust
    minisat solver SAT
    simon.cruanes.2007@m4x.org
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  45. batteries
    Documentation
    A community-maintained standard library extension
    OCaml batteries-included team
    3.10.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 51 other packages
    08 Oct 2025
  46. bdd
    Documentation
    Implementation of BDD
    Jean-Christophe Filliâtre
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    21 May 2025
  47. bddrand
    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
    03 Nov 2022
  48. bear
    Documentation
    Bare essential additions to the stdlib
    Hezekiah M. Carty
    0.0.1
    MIT
    Used by 1 other packages
    06 Sep 2015
  49. 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
    15 Apr 2020
  50. bechamel
    Documentation
    Yet Another Benchmark in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 14 other packages
    06 Nov 2023
... 6 7 8 ... 90