4605 search results for "author:" ""

Showing 301 - 350
  1. bap-thumb

    No documentation

    A target support package for the Thumb instruction set
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  2. bap-toplevel

    No documentation

    BAP toplevel, baptop
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  3. bap-trace

    No documentation

    A plugin to load and run program execution traces
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  4. bap-traces

    No documentation

    BAP Library for loading and parsing execution traces
    BAP Team
    2.5.0
    MIT
    Used by 5 other packages
    14 Jul 2022
  5. bap-trivial-condition-form

    No documentation

    Eliminates complex conditionals in branches
    BAP Team
    2.5.0
    MIT
    Used by 1 other packages
    14 Jul 2022
  6. bap-veri

    No documentation

    BAP Instruction Semantics Verification Tool
    BAP Team
    0.2.5
    MIT
    Used by 0 other packages
    02 Jun 2020
  7. bap-warn-unused

    No 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
    14 Jul 2022
  8. bap-x86

    No documentation

    BAP x86 lifter
    BAP Team
    2.5.0
    MIT
    Used by 3 other packages
    14 Jul 2022
  9. bare
    Documentation
    BAP Rule Engine Library
    BAP Team
    2.5.0
    MIT
    Used by 2 other packages
    14 Jul 2022
  10. bare_encoding
    Documentation
    BARE encoding, see https://baremessages.org/
    encoding binary bare
    simon cruanes
    0.3.1
    MIT
    Used by 0 other packages
    07 Sep 2023
  11. bark
    Documentation
    Unofficial OCaml port of elm/parser (v1.1.0)
    Justin Lubin <jlubi333@gmail.com>
    0.1.4
    BSD-3-Clause
    Used by 0 other packages
    20 Apr 2020
  12. base
    Documentation
    Full standard library replacement for OCaml
    Jane Street Group, LLC
    v0.17.1
    MIT
    Used by 210 other packages
    30 Jun 2024
  13. base-bytes
    Documentation
    Bytes library distributed with the OCaml compiler
    base
    Used by 178 other packages
    03 Jul 2014
  14. base-implicits

    No documentation

    Dummy base package for compilers with modular implicits support.
    Jeremy Yallop
    base
    Used by 1 other packages
    27 Mar 2017
  15. base-metaocaml-ocamlfind

    No documentation

    Findlib toolchain configuration for MetaOCaml
    Jeremy Yallop
    base
    MIT
    Used by 2 other packages
    27 Dec 2014
  16. base-native-int63
    Documentation
    Virtual package for enabling native int63 support in Base
    Jane Street Group, LLC
    0.1
    Apache-2.0
    Used by 0 other packages
    19 Apr 2017
  17. base32

    No documentation

    Base32 encoding for OCaml
    pukkamustard <pukkamustard@posteo.net>
    1.0.0
    ISC
    Used by 1 other packages
    14 Jun 2022
  18. base58
    Documentation
    Base58 encoding and decoding
    Adriaan Larmuseau <adriaan.larmuseau@gmail.com>
    0.1.2
    Artistic-2.0
    Used by 0 other packages
    19 Oct 2015
  19. base64
    Documentation
    Base64 encoding for OCaml
    Thomas Gazagnaire Anil Madhavapeddy Calascibetta Romain Peter Zotov
    3.5.1
    ISC
    Used by 112 other packages
    01 Feb 2023
  20. base_bigstring
    Documentation
    String type based on [Bigarray], for use in I/O and C-bindings
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 3 other packages
    23 May 2024
  21. base_quickcheck
    Documentation
    Randomized testing framework, designed for compatibility with Base
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 11 other packages
    23 May 2024
  22. base_trie
    Documentation
    Trie data structure library
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  23. bastet
    Documentation
    An OCaml library for category theory and abstract algebra
    category theory abstract algebra algebra cats
    Risto Stevcev
    2.0.0
    BSD-3-Clause
    Used by 2 other packages
    20 Feb 2021
  24. bastet_async
    Documentation
    Async implementations for bastet
    category theory abstract algebra algebra cats async
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  25. bastet_lwt
    Documentation
    Lwt implementations for bastet
    category theory abstract algebra algebra cats lwt
    Risto Stevcev
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Mar 2020
  26. batch_jaro_winkler
    Documentation
    Fast batch jaro winkler distance implementation in C99
    Dominik Bousquet
    0.1.1
    MIT
    Used by 0 other packages
    26 Apr 2021
  27. batsh

    No documentation

    A (C-like syntax) programming language that compiles to Bash and Windows Batch.
    BYVoid <byvoid@byvoid.com>
    0.0.6
    MIT
    Used by 0 other packages
    21 Jan 2015
  28. batteries
    Documentation
    A community-maintained standard library extension
    OCaml batteries-included team
    3.8.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 79 other packages
    28 Feb 2024
  29. bau

    No documentation

    Bigarray utilities
    Leonid Rozenberg <leonidr@gmail.com>
    0.0.4
    Apache-2.0
    Used by 1 other packages
    28 Oct 2017
  30. bdd
    Documentation
    Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
    Jean-Christophe Filliatre
    0.3
    GPL-1.0-or-later
    Used by 2 other packages
    25 Aug 2014
  31. bddapron
    Documentation
    Logico-numerical domain(s) based on BDDs and APRON
    Bertrand Jeannet
    2.3.3
    LGPL-2.1-only
    Used by 0 other packages
    08 Feb 2019
  32. bddrand
    Documentation
    A simple front-end to the lutin Random toss machinary
    Erwan Jahier Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 0 other packages
    03 Nov 2022
  33. bear

    No documentation

    Bare essential additions to the stdlib
    Hezekiah M. Carty
    0.0.1
    MIT
    Used by 1 other packages
    06 Sep 2015
  34. bech32
    Documentation
    Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
    bitcoin
    Vincent Bernardoff <vb@luminar.eu.org>
    0.1
    ISC
    Used by 0 other packages
    15 Apr 2020
  35. bechamel
    Documentation
    Yet Another Benchmark in OCaml
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 11 other packages
    06 Nov 2023
  36. bechamel-js
    Documentation
    HTML generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 1 other packages
    06 Nov 2023
  37. bechamel-notty
    Documentation
    CLI generator for bechamel's output
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 4 other packages
    06 Nov 2023
  38. bechamel-perf
    Documentation
    Linux perf's metrics for bechamel
    Romain Calascibetta <romain.calascibetta@gmail.com>
    0.5.0
    MIT
    Used by 1 other packages
    06 Nov 2023
  39. beluga
    Documentation
    Implementation of contextual modal logic for reasoning with higher-order abstract syntax
    Brigitte Pientka Joshua Dunfield Andrew Cave Jacob Thomas Errington Junyoung Clare Jang et al.
    1.1.2
    GPL-3.0-only
    Used by 0 other packages
    22 Jul 2024
  40. benchmark
    Documentation
    Benchmark running times of code
    benchmark
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Doug Bagley
    1.6
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    09 Sep 2018
  41. benchpress
    Documentation
    Tool to run one or more logic programs, on a set of files, and collect the results
    Simon Cruanes Guillaume Bury
    0.1
    Used by 1 other packages
    30 Jul 2020
  42. benchpress-server
    Documentation
    Server and web UI for benchpress
    Simon Cruanes Guillaume Bury
    0.1
    Used by 0 other packages
    30 Jul 2020
  43. bencode
    Documentation
    Bencode (`.torrent` file format) reader/writer in OCaml
    Rudi Grinberg Simon Cruanes
    2.0
    MIT
    Used by 2 other packages
    11 Dec 2019
  44. bentov
    Documentation
    1D histogram sketching
    Mika Illouz
    1
    BSD
    Used by 2 other packages
    24 Jun 2020
  45. bes
    Documentation
    boolean expression simplifier
    Alexander Ostrovsky Markus Weissmann
    0.9.4.2
    BSD-3-Clause
    Used by 0 other packages
    21 Nov 2013
  46. bestline
    Documentation
    OCaml bindings for the bestline C library
    Finn Schneider
    0.2.1
    BSD-2-Clause
    Used by 0 other packages
    26 Apr 2023
  47. bheap
    Documentation
    Priority queues
    Jean-Christophe Filliâtre
    2.0.0
    LGPL-2.1-only
    Used by 6 other packages
    06 Sep 2020
  48. bibtex2html
    Documentation
    BibTeX to HTML translator
    Jean-Christophe Filliâtre Claude Marché
    1.99-1
    GPL-2.0-only
    Used by 0 other packages
    16 Nov 2020
  49. bidirectional_map
    Documentation
    A library for bidirectional maps and multimaps.
    Jane Street Group, LLC
    v0.17.0
    MIT
    Used by 0 other packages
    26 May 2024
  50. bigarray-compat
    Documentation
    Compatibility library to use Stdlib.Bigarray when possible
    Lucas Pluvinage <lucas.pluvinage@gmail.com>
    1.1.0
    ISC
    Used by 46 other packages
    26 Jan 2022
... 6 7 8 ... 93