4492 search results for ""

Showing 301 - 350
  1. Implements the specification command
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. A BAP plugin, that translates a program into the SSA form
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. The Binary Analysis Platform Standard Library
    2.5.0
    MIT
    Used by 82 other packages
    14 Jul 2022
  4. Text utilities useful in Binary Analysis and Reverse Engineering
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  5. Identifies and manages stub functions in a binary
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. BAP plugin that reads symbol information from files
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  7. A target support package for the Systemz (Z9) ISA
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  8. BAP Taint Analysis Framework
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  9. BAP Taint propagation engine using based on microexecution
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  10. A BAP DSL for mapping program terms
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  11. A target support package for the Thumb instruction set
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  12. BAP toplevel, baptop
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  13. A plugin to load and run program execution traces
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  14. BAP Library for loading and parsing execution traces
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  15. Eliminates complex conditionals in branches
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  16. Emit a warning if an unused result may cause a bug or security issue
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  17. bap-x86

    No documentation

    BAP x86 lifter
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  18. BAP Rule Engine Library
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  19. BARE encoding, see https://baremessages.org/
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  20. Unofficial OCaml port of elm/parser (v1.1.0)
    0.1.4
    BSD-3-Clause
    Used by 0 other packages
    20 Apr 2020
  21. Full standard library replacement for OCaml
    v0.17.3
    MIT
    Used by 217 other packages
    13 Jun 2025
  22. base
    Used by 58 other packages
    21 Nov 2013
  23. Bytes library distributed with the OCaml compiler
    base
    Used by 137 other packages
    03 Jul 2014
  24. base
    Used by 11 other packages
    05 Jul 2021
  25. 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. Findlib toolchain configuration for MetaOCaml
    base
    MIT
    Used by 2 other packages
    27 Dec 2014
  28. Virtual package for enabling native int63 support in Base
    0.1
    Apache-2.0
    Used by 0 other packages
    19 Apr 2017
  29. 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
    Used by 39 other packages
    21 Nov 2013
  33. base
    Used by 222 other packages
    21 Nov 2013
  34. 1.0.0
    ISC
    Used by 1 other packages
    14 Jun 2022
  35. 0.1.2
    Artistic-2.0
    Used by 0 other packages
    19 Oct 2015
  36. 3.5.2
    ISC
    Used by 125 other packages
    22 Sep 2025
  37. String type based on [Bigarray], for use in I/O and C-bindings
    v0.17.0
    MIT
    Used by 3 other packages
    23 May 2024
  38. Randomized testing framework, designed for compatibility with Base
    v0.17.1
    MIT
    Used by 11 other packages
    12 Jun 2025
  39. Trie data structure library
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  40. An OCaml library for category theory and abstract algebra
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  41. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  42. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  43. Fast batch jaro winkler distance implementation in C99
    0.1.1
    MIT
    Used by 0 other packages
    26 Apr 2021
  44. OCaml bindings for batsat, a SAT solver in rust
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  45. A community-maintained standard library extension
    3.10.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 51 other packages
    08 Oct 2025
  46. Implementation of BDD
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    21 May 2025
  47. A simple front-end to the lutin Random toss machinary
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    03 Nov 2022
  48. Bare essential additions to the stdlib
    0.0.1
    MIT
    Used by 1 other packages
    06 Sep 2015
  49. Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    0.1
    ISC
    Used by 0 other packages
    15 Apr 2020
  50. 0.5.0
    MIT
    Used by 14 other packages
    06 Nov 2023