4956 search results for ""

Showing 201 - 250
  1. awsm-async
    Documentation
    AWS API base library Async
    Solvuu
    0.1.0
    MIT
    Used by 0 other packages
    11 Jul 2023
  2. awsm-codegen
    Documentation
    AWS botocore code generator
    Solvuu
    0.1.0
    MIT
    Used by 1 other packages
    11 Jul 2023
  3. awsm-lwt
    Documentation
    AWS API base library Lwt
    Solvuu
    0.1.0
    MIT
    Used by 0 other packages
    11 Jul 2023
  4. azblob
    Documentation
    A trivial Azure Blob Storage interface for OCaml
    Kazuo Koga
    0.1.0
    ISC
    Used by 1 other packages
    27 Nov 2019
  5. azblob-async
    Documentation
    A trivial Azure Blob Storage interface for OCaml
    Kazuo Koga
    0.1.0
    ISC
    Used by 0 other packages
    27 Nov 2019
  6. azure-cosmos-db
    Documentation
    Azure cosmos db interface
    Morten Knaack <knaack@gmail>
    0.2.4
    MIT
    Used by 0 other packages
    02 Apr 2024
  7. BetterErrors
    Documentation
    Better compiler error output.
    syntax
    Cheng Lou <chenglou92@gmail.com>
    0.0.1
    MIT
    Used by 1 other packages
    29 Mar 2016
  8. b0
    Documentation
    Software construction and deployment kit
    dev org:erratique org:b0-system build
    The b0 programmers
    0.0.5
    ISC; BSD-2-Clause
    Used by 5 other packages
    05 Jun 2023
  9. baardskeerder

    No documentation

    Baardskeerder is an append-only B-ish tree.
    0.5.2
    LGPL-3.0-only
    Used by 0 other packages
    20 Dec 2013
  10. 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
    26 May 2024
  11. baby
    Documentation
    Fast sets based on balanced binary search trees
    François Pottier
    20240619
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    23 Jun 2024
  12. backoff
    Documentation
    Exponential backoff mechanism for OCaml
    KC Sivaramakrishnan <kc@tarides.com>
    0.1.1
    ISC
    Used by 11 other packages
    28 Sep 2024
  13. bag
    Documentation
    Bags (aka multisets)
    Jean-Christophe Filliâtre Clément Pascutto
    1.0.0
    LGPL-2.1-only
    Used by 0 other packages
    09 Mar 2021
  14. baguette_sharp
    Documentation
    The Baguette# Interpreter REPL
    Charlotte Thomas
    2.2.1
    GPL-3.0-or-later
    Used by 0 other packages
    23 Jan 2023
  15. balancer
    Documentation
    A collection of load balancing algorithms implemented in pure Ocaml
    networking load balancing scalability
    Sam Riyad
    1.0
    MIT
    Used by 0 other packages
    09 Aug 2018
  16. bam
    Documentation
    A property-based testing library with internal shrinking
    test pbt shrinking internal
    François Thiré <bam@saroupille.com>
    0.3
    MIT
    Used by 1 other packages
    28 Oct 2024
  17. bam-ppx
    Documentation
    A PPX deriving generators for OCaml types
    test pbt shrinking internal bam ppx
    François Thiré <bam@saroupille.com>
    0.3
    MIT
    Used by 1 other packages
    28 Oct 2024
  18. bamboo
    Documentation
    A compiler targeting Ethereum Virtual Machine
    Yoichi Hirai <i@yoichihirai.com>
    0.0.03
    Apache-2.0
    Used by 0 other packages
    08 May 2018
  19. bap

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 6 other packages
    14 Jul 2022
  20. bap-abi
    Documentation
    BAP ABI integration subsystem
    BAP Team
    2.5.0
    MIT
    Used by 12 other packages
    14 Jul 2022
  21. bap-analyze

    No documentation

    Implements the analyze command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  22. bap-api

    No documentation

    A pass that adds parameters to subroutines based on known API
    BAP Team
    2.5.0
    MIT
    Used by 7 other packages
    14 Jul 2022
  23. bap-arm

    No documentation

    BAP ARM lifter and disassembler
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  24. bap-beagle

    No documentation

    BAP obfuscated string solver
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  25. bap-beagle-strings

    No documentation

    Finds strings of characters using microexecution
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  26. bap-bil

    No documentation

    Controls the BIL transformation pipeline
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  27. bap-build
    Documentation
    BAP build automation tools
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  28. bap-bundle
    Documentation
    BAP bundler
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  29. bap-byteweight

    No documentation

    BAP facility for indentifying code entry points
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  30. bap-byteweight-frontend

    No documentation

    BAP Toolkit for training and controlling Byteweight algorithm
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  31. bap-c

    No documentation

    A C language support library for BAP
    BAP Team
    2.5.0
    MIT
    Used by 9 other packages
    14 Jul 2022
  32. bap-cache

    No documentation

    BAP caching service
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  33. bap-callgraph-collator

    No documentation

    Collates programs based on their callgraphs
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  34. bap-callsites

    No documentation

    Inject data definition terms at callsites
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  35. bap-constant-tracker

    No documentation

    Constant Tracking Analysis based on Primus
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  36. bap-core

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  37. bap-core-theory
    Documentation
    BAP Semantics Representation
    BAP Team
    2.5.0
    MIT
    Used by 28 other packages
    14 Jul 2022
  38. bap-cxxfilt

    No documentation

    A demangler that relies on a c++filt utility
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  39. bap-dead-code-elimination

    No documentation

    A BAP plugin that removes dead IR code
    BAP Team
    1.4.0
    MIT
    Used by 1 other packages
    13 Mar 2018
  40. bap-demangle

    No documentation

    Provides names service and demangling facilities
    BAP Team
    2.5.0
    MIT
    Used by 4 other packages
    14 Jul 2022
  41. bap-dependencies

    No documentation

    Analyzes program dependencies
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  42. bap-disassemble

    No documentation

    Implements the disassemble command
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  43. bap-dump-symbols

    No documentation

    BAP plugin that dumps symbols information from a binary
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  44. bap-dwarf

    No documentation

    BAP DWARF parsing library
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  45. bap-elementary

    No documentation

    BAP floating point approximations of elementary functions
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  46. bap-elf

    No documentation

    BAP ELF parser and loader written in native OCaml
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  47. bap-emacs-dot

    No 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
    26 Oct 2018
  48. bap-emacs-goodies

    No 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
    26 Oct 2018
  49. bap-emacs-mode

    No 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
    26 Oct 2018
  50. bap-extra

    No documentation

    Binary Analysis Platform
    BAP Team
    2.5.0
    MIT
    Used by 0 other packages
    14 Jul 2022
... 4 5 6 ... 100