116 search results for "author:"BAP Team""

Showing 101 - 116
  1. 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
  2. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  3. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  4. bitvec
    Documentation
    Fixed-size bitvectors and modular arithmetic, based on Zarith
    BAP Team
    2.5.0
    MIT
    Used by 22 other packages
    Added to opam-repository
  5. bitvec-binprot
    Documentation
    Janestreet's Binprot serialization for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  6. bitvec-order
    Documentation
    Base style comparators and orders for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 8 other packages
    Added to opam-repository
  7. bitvec-sexp
    Documentation
    Sexp serializers for Bitvec
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  8. conf-binutils
    Documentation
    Checks that binutils are installed
    BAP Team
    0.3
    MIT
    Used by 3 other packages
    Added to opam-repository
  9. conf-ida

    No documentation

    Checks that IDA Pro is installed
    BAP Team
    0.3
    MIT
    Used by 2 other packages
    Added to opam-repository
  10. conf-radare2

    No documentation

    Checks that radare2 is installed
    BAP Team
    0.1
    MIT
    Used by 2 other packages
    Added to opam-repository
  11. graphlib
    Documentation
    Generic Graph library
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  12. monads
    Documentation
    A missing monad library
    BAP Team
    2.5.0
    MIT
    Used by 25 other packages
    Added to opam-repository
  13. ogre
    Documentation
    Open Generic REpresentation NoSQL Database
    BAP Team
    2.5.0
    MIT
    Used by 19 other packages
    Added to opam-repository
  14. ppx_bap
    Documentation
    The set of ppx rewriters for BAP
    Carnegie Mellon University BAP Team
    v0.14.0
    MIT
    Used by 63 other packages
    Added to opam-repository
  15. regular
    Documentation
    Library for regular data types
    BAP Team
    2.5.0
    MIT
    Used by 30 other packages
    Added to opam-repository
  16. text-tags
    Documentation
    A library for rich formatting using semantics tags
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Added to opam-repository
1 2 3