4511 search results for ""

Showing 301 - 350
  1. Eliminates complex conditionals in branches
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. bap-veri

    No documentation

    BAP Instruction Semantics Verification Tool
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  3. 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
  4. bap-x86

    No documentation

    BAP x86 lifter
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  5. BAP Rule Engine Library
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  6. BARE encoding, see https://baremessages.org/
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  7. Unofficial OCaml port of elm/parser (v1.1.0)
    0.1.4
    BSD-3-Clause
    Used by 0 other packages
    20 Apr 2020
  8. Full standard library replacement for OCaml
    v0.17.3
    MIT
    Used by 214 other packages
    13 Jun 2025
  9. base
    Used by 57 other packages
    21 Nov 2013
  10. Bytes library distributed with the OCaml compiler
    base
    Used by 139 other packages
    03 Jul 2014
  11. base
    Used by 11 other packages
    05 Jul 2021
  12. base
    Used by 3 other packages
    05 Jul 2021
  13. base-flambda2

    No documentation

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

    No documentation

    Dummy base package for compilers with modular implicits support.
    base
    Used by 1 other packages
    27 Mar 2017
  15. Findlib toolchain configuration for MetaOCaml
    base
    MIT
    Used by 2 other packages
    27 Dec 2014
  16. Virtual package for enabling native int63 support in Base
    0.1
    Apache-2.0
    Used by 0 other packages
    19 Apr 2017
  17. Naked pointers prohibited in the OCaml heap
    base
    Used by 5 other packages
    24 Jan 2022
  18. base-num

    No documentation

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

    No documentation

    OCamlbuild binary and libraries distributed with the OCaml compiler
    base
    Used by 3 other packages
    03 Mar 2025
  20. base
    Used by 39 other packages
    21 Nov 2013
  21. base
    Used by 225 other packages
    21 Nov 2013
  22. 1.0.0
    ISC
    Used by 0 other packages
    14 Jun 2022
  23. 0.1.2
    Artistic-2.0
    Used by 0 other packages
    19 Oct 2015
  24. 3.5.1
    ISC
    Used by 114 other packages
    01 Feb 2023
  25. 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
  26. Randomized testing framework, designed for compatibility with Base
    v0.17.1
    MIT
    Used by 11 other packages
    12 Jun 2025
  27. Trie data structure library
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  28. An OCaml library for category theory and abstract algebra
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  29. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  30. 0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  31. Fast batch jaro winkler distance implementation in C99
    0.1.1
    MIT
    Used by 0 other packages
    26 Apr 2021
  32. OCaml bindings for batsat, a SAT solver in rust
    0.7
    MIT
    Used by 0 other packages
    29 Dec 2021
  33. A community-maintained standard library extension
    3.9.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 51 other packages
    31 Dec 2024
  34. Implementation of BDD
    0.5
    LGPL-2.1-only
    Used by 1 other packages
    21 May 2025
  35. Logico-numerical domain(s) based on BDDs and APRON
    2.3.3
    LGPL-2.1-only
    Used by 0 other packages
    08 Feb 2019
  36. A simple front-end to the lutin Random toss machinary
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    03 Nov 2022
  37. Bare essential additions to the stdlib
    0.0.1
    MIT
    Used by 1 other packages
    06 Sep 2015
  38. 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
  39. 0.5.0
    MIT
    Used by 11 other packages
    06 Nov 2023
  40. HTML generator for bechamel's output
    0.5.0
    MIT
    Used by 1 other packages
    06 Nov 2023
  41. CLI generator for bechamel's output
    0.5.0
    MIT
    Used by 4 other packages
    06 Nov 2023
  42. 0.5.0
    MIT
    Used by 1 other packages
    06 Nov 2023
  43. Implementation of contextual modal logic for reasoning with higher-order abstract syntax
    1.1.2
    GPL-3.0-only
    Used by 0 other packages
    22 Jul 2024
  44. 1.7
    LGPL-3.0 WITH OCaml linking exception
    Used by 13 other packages
    04 Feb 2025
  45. Tool to run one or more logic programs, on a set of files, and collect the results
    0.1
    Used by 1 other packages
    30 Jul 2020
  46. Server and web UI for benchpress
    0.1
    Used by 0 other packages
    30 Jul 2020
  47. Bencode (`.torrent` file format) reader/writer in OCaml
    2.0
    MIT
    Used by 1 other packages
    11 Dec 2019
  48. 1D histogram sketching
    1
    BSD
    Used by 2 other packages
    24 Jun 2020
  49. OCaml bindings for the bestline C library
    0.2.1
    BSD-2-Clause
    Used by 0 other packages
    26 Apr 2023
  50. 2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    06 Sep 2020