4405 search results for "author:" ""

Showing 201 - 250
  1. b0
    Documentation
    Software construction and deployment kit
    dev org:erratique org:b0-system build
    The b0 programmers
    0.0.6
    ISC; BSD-2-Clause
    Used by 5 other packages
    Added to opam-repository
  2. babel
    Documentation
    A library for defining Rpcs that can evolve over time without breaking backward compatibility.
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  3. baby
    Documentation
    Fast sets and maps based on balanced binary search trees
    François Pottier <francois.pottier@inria.fr>
    20260620
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  4. backoff
    Documentation
    Exponential backoff mechanism for OCaml
    KC Sivaramakrishnan <kc@tarides.com>
    0.1.1
    ISC
    Used by 11 other packages
    Added to opam-repository
  5. bag
    Documentation
    Bags (aka multisets)
    Jean-Christophe Filliâtre Clément Pascutto
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  6. baguette_sharp
    Documentation
    The Baguette# Interpreter REPL
    Charlotte Thomas
    2.2.1-1
    GPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  7. balancer
    Documentation
    A collection of load balancing algorithms implemented in pure Ocaml
    networking load balancing scalability algorithms
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  8. bam
    Documentation
    A property-based testing library with internal shrinking
    test pbt shrinking internal
    François Thiré
    0.4
    MIT
    Used by 1 other packages
    Added to opam-repository
  9. bam-ppx
    Documentation
    A PPX deriving generators for OCaml types
    test pbt shrinking internal bam ppx
    François Thiré
    0.4
    MIT
    Used by 1 other packages
    Added to opam-repository
  10. bancos
    Documentation
    A simple read-optimistic write-exclusive KV-store
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  11. bank
    Documentation
    A simple in-memory KV-store
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  12. bap

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  13. bap-abi
    Documentation
    BAP ABI integration subsystem
    BAP Team
    2.5.0
    MIT
    Used by 12 other packages
    Added to opam-repository
  14. bap-analyze
    Documentation
    Implements the analyze command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  15. bap-api
    Documentation
    A pass that adds parameters to subroutines based on known API
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    Added to opam-repository
  16. bap-arm
    Documentation
    BAP ARM lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    Added to opam-repository
  17. bap-beagle
    Documentation
    BAP obfuscated string solver
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  18. bap-beagle-strings
    Documentation
    Finds strings of characters using microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  19. bap-bil
    Documentation
    Controls the BIL transformation pipeline
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  20. bap-build
    Documentation
    BAP build automation tools
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    Added to opam-repository
  21. bap-bundle
    Documentation
    BAP bundler
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    Added to opam-repository
  22. bap-byteweight
    Documentation
    BAP facility for indentifying code entry points
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    Added to opam-repository
  23. bap-byteweight-frontend
    Documentation
    BAP Toolkit for training and controlling Byteweight algorithm
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  24. bap-c
    Documentation
    A C language support library for BAP
    BAP Team
    2.5.0
    MIT
    Used by 9 other packages
    Added to opam-repository
  25. bap-cache
    Documentation
    BAP caching service
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  26. bap-callgraph-collator
    Documentation
    Collates programs based on their callgraphs
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  27. bap-callsites
    Documentation
    Inject data definition terms at callsites
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  28. bap-constant-tracker
    Documentation
    Constant Tracking Analysis based on Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  29. bap-core

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  30. bap-core-theory
    Documentation
    BAP Semantics Representation
    BAP Team
    2.5.0
    MIT
    Used by 27 other packages
    Added to opam-repository
  31. bap-cxxfilt
    Documentation
    A demangler that relies on a c++filt utility
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  32. bap-demangle
    Documentation
    Provides names service and demangling facilities
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    Added to opam-repository
  33. bap-dependencies
    Documentation
    Analyzes program dependencies
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  34. bap-disassemble
    Documentation
    Implements the disassemble command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  35. bap-dump-symbols
    Documentation
    BAP plugin that dumps symbols information from a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  36. bap-dwarf
    Documentation
    BAP DWARF parsing library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  37. bap-elementary
    Documentation
    BAP floating point approximations of elementary functions
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  38. bap-elf
    Documentation
    BAP ELF parser and loader written in native OCaml
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  39. bap-emacs-dot
    Documentation
    Will automatically detect graph specifications in a dot syntax and display them using overlaying
    Ivan Gotovchits <ivg@ieee.org>
    0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  40. bap-emacs-goodies
    Documentation
    A collection of useful Emacs tools for BAP
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de> Ivan Gotovchits <ivg@ieee.org>
    0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  41. bap-emacs-mode
    Documentation
    Emacs major mode for reading and analyzing programs in BAP's IR
    Thomas Barabosch <thomas.barabosch@fkie.fraunhofer.de>
    0.1
    MIT
    Used by 1 other packages
    Added to opam-repository
  42. bap-extra

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  43. bap-flatten
    Documentation
    A BAP plugin, that translates a program into the flatten form
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  44. bap-frontc
    Documentation
    A C language frontend for based on FrontC library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  45. bap-frontend
    Documentation
    BAP frontend
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  46. bap-fsi-benchmark

    No documentation

    BAP function start identification benchmark game
    BAP Team
    2.3.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  47. bap-future
    Documentation
    A library for asynchronous values
    BAP Team
    2.5.0
    MIT
    Used by 14 other packages
    Added to opam-repository
  48. bap-ghidra

    No documentation

    BAP Ghidra backend
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  49. bap-glibc-runtime
    Documentation
    Detects the presence of glibc runtime
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    Added to opam-repository
  50. bap-ida

    No documentation

    An IDA Pro integration library
    BAP Team
    2.3.0
    MIT
    Used by 1 other packages
    Added to opam-repository
... 4 5 6 ... 89