147 search results for "tag:"RE""

Showing 1 - 50
  1. ansifmt
    Documentation
    A simple, lightweight library for ANSI formatting
    ansi formatting pretty-printing terminal
    Qexat <contact@qexat.com>
    0.3.0
    MIT
    Used by 0 other packages
    26 Feb 2025
  2. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  3. 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
  4. bin_tree
    Documentation
    A binary tree implementation
    binary_tree algorithm tree data_structure
    Bryan (Ahhj93)
    0.1
    MIT
    Used by 0 other packages
    17 Feb 2024
  5. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.10.0
    LGPL-2.1-or-later
    Used by 0 other packages
    20 Feb 2025
  6. bpf
    Documentation
    Embedded eBPF assembler
    org:ygrek
    ygrek <ygrek@autistici.org>
    0.2
    BSD-3-Clause
    Used by 0 other packages
    01 Oct 2017
  7. brr
    Documentation
    Browser programming toolkit for OCaml
    reactive declarative frp front-end browser org:erratique
    The brr programmers
    0.0.7
    ISC; BSD-3-Clause
    Used by 5 other packages
    10 Sep 2024
  8. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes streaming zstd zlib gzip deflate sha1 sha2 compression hashing utf xxhash blake3 org:erratique
    The bytesrw programmers
    0.1.0
    ISC
    Used by 1 other packages
    29 Nov 2024
  9. calculon-redis
    Documentation
    A redis plugin for Calculon
    irc bot redis
    c-cube
    0.6
    Used by 0 other packages
    17 Dec 2019
  10. calculon-redis-lib
    Documentation
    A library to interact with Calculon via Redis
    irc bot redis
    c-cube
    0.6
    Used by 1 other packages
    17 Dec 2019
  11. camlrack
    Documentation
    S-Expression parsing for OCaml
    S-Expressions parsing
    Pierce Darragh <pierce.darragh@gmail.com>
    0.10.1
    MIT
    Used by 1 other packages
    12 Feb 2022
  12. castore
    Documentation
    A portable CA Store with a global .crt and .pem files
    https tls cert crt pem ca ca store
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    27 Dec 2023
  13. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    23 Oct 2021
  14. ceph
    Documentation
    Bindings to libcephfs
    org:ahrefs clib:stdc clib:cephfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20240106
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Aug 2024
  15. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  16. colors
    Documentation
    A pure OCaml library for manipulating colors across color spaces
    color color spaces color transformations color blending luv xyz rgb linear rgb srgb uv reference colors
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  17. compsort
    Documentation
    Reorder files in an archive to improve its compression
    compression
    Adrien Nader <adrien@notk.org>
    0.9.2
    GPL-3.0-or-later
    Used by 0 other packages
    11 Oct 2024
  18. containers-thread
    Documentation
    An extension of containers for threading
    containers thread semaphore blocking queue
    Simon Cruanes
    3.12
    BSD-2-Clause
    Used by 0 other packages
    06 Jun 2023
  19. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 2 other packages
    15 May 2025
  20. curl_lwt
    Documentation
    Bindings to libcurl (lwt variant)
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 1 other packages
    15 May 2025
  21. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 0 other packages
    18 Oct 2024
  22. diffast-core
    Documentation
    Core functions of Diff/AST
    abstract syntax tree differencing
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.2
    Apache-2.0
    Used by 14 other packages
    26 Mar 2025
  23. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  24. dolmen_loop
    Documentation
    A tool library for automated deduction tools
    logic computation automated theorem prover
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 4 other packages
    24 Jun 2024
  25. dolmen_lsp
    Documentation
    A LSP server for automated deduction languages
    logic computation automated theorem prover lsp language server protocol
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  26. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.3.0
    ISC
    Used by 0 other packages
    30 Apr 2024
  27. dream-inertia
    Documentation
    Inertia protocol for OCaml Dream
    inertia dream protocol web
    Joris Gundermann
    0.0.1
    MIT
    Used by 0 other packages
    05 May 2025
  28. dream_middleware_ext
    Documentation
    A collection of middleware utilities for Dream framework
    http web framework middleware
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.0
    MIT
    Used by 0 other packages
    20 Mar 2025
  29. esgg
    Documentation
    Elasticsearch guided (code) generator
    org:ahrefs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20190322
    GPL-2.0-only
    Used by 0 other packages
    23 Mar 2019
  30. extunix
    Documentation
    Collection of thin bindings to various low-level system API
    org:ygrek
    Andre Nathan Antonin Décimo Dmitry Grebeniuk François Bobot Gerd Stolpmann et al.
    0.4.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 9 other packages
    12 Mar 2025
  31. farmhash
    Documentation
    Bindings for Google's farmhash library
    org:ahrefs clib:farmhash
    Ahrefs <github@ahrefs.com>
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    21 Jan 2022
  32. file-rewriter
    Documentation
    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 2 other packages
    30 Sep 2024
  33. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.10.0
    ISC
    Used by 368 other packages
    10 Mar 2025
  34. fpath-base
    Documentation
    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.3.1
    MIT
    Used by 2 other packages
    27 May 2025
  35. fpath-sexp0
    Documentation
    Adds Fpath.sexp_of_t and defines 3 new modules: Fsegment, Absolute_path and Relative_path
    fpath absolute-paths relative-paths
    Mathieu Barbin
    0.3.1
    MIT
    Used by 2 other packages
    27 May 2025
  36. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    30.0
    LGPL-2.1-only
    Used by 3 other packages
    16 Dec 2024
  37. frama-c-lannotate
    Documentation
    Lannotate plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.3
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  38. frama-c-luncov
    Documentation
    Luncov plugin of Frama-C, part of the LTest suite
    software testing Frama-C LTest
    Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
    0.2.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jul 2024
  39. fred
    Documentation
    API binding for Federal Reserve Economic Data
    api binding federal reserve ecomonic data
    Geoffrey Borough
    0.1.0
    MIT
    Used by 0 other packages
    17 Apr 2024
  40. fuseau
    Documentation
    A simple IO and concurrency library for OCaml 5
    await effects event-loop thread-local-storage
    Simon Cruanes
    0.1
    MIT
    Used by 1 other packages
    27 Feb 2024
  41. geoip
    Documentation
    Bindings to GeoIP database library.
    org:ygrek
    ygrek
    0.0.3
    Used by 0 other packages
    08 Jul 2018
  42. gg
    Documentation
    Basic types for computer graphics in OCaml
    matrix vector color data-structure graphics org:erratique
    The gg programmers
    1.0.0
    ISC
    Used by 10 other packages
    15 Feb 2022
  43. gluon
    Documentation
    A minimal, portable, and fast API on top of the operating-system's evented I/O API
    async io tcp udp multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 1 other packages
    12 Apr 2024
  44. goblint
    Documentation
    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.5.0
    MIT
    Used by 0 other packages
    28 Nov 2024
  45. gperftools
    Documentation
    Bindings to gperftools
    org:ygrek
    ygrek
    0.5
    Used by 0 other packages
    19 Feb 2020
  46. hardcaml-lua
    Documentation
    A lua client for interfacing hardcaml to verilator, UHDM, Verible and RTLIL front-ends
    Verilator Surelog UHDM Verible Yosys RTLIL
    Jonathan Kimmitt
    0.0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  47. hdfs

    No documentation

    Bindings to libhdfs
    org:ygrek clib:hdfs
    ygrek
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Oct 2021
  48. heroicons-reason-react
    Documentation
    ReasonML bindings to the Heroicons React components
    heroicons icons reason react
    Ben Bellick <benbellick@pm.me>
    1.0
    MIT
    Used by 0 other packages
    12 Jan 2025
  49. hmap
    Documentation
    Heterogeneous value maps for OCaml
    data-structure org:erratique
    Daniel Bünzli
    0.8.1
    ISC
    Used by 16 other packages
    05 Oct 2017
  50. hyper
    Documentation
    Web client with HTTP/1, HTTP/2, TLS, and WebSocket support
    http web client websocket http2 tls dream
    Anton Bachin
    1.0.0~alpha2
    MIT
    Used by 0 other packages
    29 Mar 2023
1 2 3