171 search results for "tag:"RE""

Showing 1 - 50
  1. ansifmt
    Documentation
    A simple, lightweight library for ANSI styling
    ansi formatting styling pretty-printing terminal
    lexa <contact@qexat.com>
    2.0.0
    MIT
    Used by 0 other packages
    11 Nov 2025
  2. anthropic
    Documentation
    OCaml bindings for the Anthropic API
    anthropic claude ai llm api client streaming eio
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    28 Jul 2025
  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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.1
    LGPL-2.1-or-later
    Used by 0 other packages
    02 Apr 2026
  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.8
    ISC; BSD-3-Clause
    Used by 8 other packages
    28 Jul 2025
  8. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes entropy streaming zstd zlib gzip deflate random csprng sha1 sha2 compression hashing utf xxhash blake3 psa tls cryptography sha3 org:erratique
    The bytesrw programmers
    0.3.0
    ISC
    Used by 12 other packages
    05 Nov 2025
  9. calendars
    Documentation
    Convert dates between gregorian/julian/french/hebrew/islamic calendars
    moon-phase gregorian julian hebrew islamic french-republican calendar date
    Daniel de Rauglaudre
    2.0.0
    GPL-2.0-only
    Used by 0 other packages
    29 Jan 2026
  10. 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
  11. 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
  12. cbor
    Documentation
    CBOR encoder/decoder (RFC 7049) - native OCaml implementation
    org:ygrek
    ygrek
    0.5
    MIT
    Used by 4 other packages
    23 Oct 2021
  13. 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
  14. claudius
    Documentation
    A retro-style graphics library
    graphics rendering paletted
    3pleX-dev <afuadajoe@gmail.com> Adenuga Israel Abimbola <israelabimmbolaa@gmail.com> Michael Dales <michael@digitalflapjack.com> Seed Lu <dr.seed.lu@gmail.com> Shreya Pawaskar <shreya.pawaskar.main@gmail.com> et al.
    1.2.1
    ISC
    Used by 0 other packages
    19 Sep 2025
  15. cmdlang-to-base
    Documentation
    Convert cmdlang Parsers to core.command
    cli cmdlang core.command
    Mathieu Barbin
    0.0.10
    MIT
    Used by 0 other packages
    26 Sep 2025
  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

    No 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. crs
    Documentation
    A tool for managing inline review comments embedded in source code
    code-review inline-comments
    Mathieu Barbin
    0.0.20260307
    LGPL-3.0-or-later WITH LGPL-3.0-linking-exception
    Used by 0 other packages
    07 Mar 2026
  20. cure2
    Documentation
    Re-like combinators for Re2
    regexp regex
    Emile Trotignon <emile.trotignon@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    21 Oct 2025
  21. curl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 6 other packages
    15 May 2025
  22. 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
  23. datalog
    Documentation
    An in-memory datalog implementation for OCaml
    datalog relational query prolog
    Simon Cruanes
    0.7
    BSD-2-Clause
    Used by 1 other packages
    18 Oct 2024
  24. diffast-core
    Documentation
    Core functions of Diff/AST
    abstract syntax tree differencing
    Codinuum <codinuum@me.com> Masatomo Hashimoto <m.hashimoto@stair.center>
    0.3.6
    Apache-2.0
    Used by 14 other packages
    25 Nov 2025
  25. 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
  26. 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
  27. 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
  28. down
    Documentation
    An OCaml toplevel (REPL) upgrade
    dev toplevel repl org:erratique
    The down programmers
    0.4.0
    ISC
    Used by 0 other packages
    29 Jul 2025
  29. 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
  30. dream_middleware_ext
    Documentation
    A collection of middleware utilities for Dream framework
    http web framework middleware
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    12 Aug 2025
  31. 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
  32. 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
  33. 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
  34. fehu
    Documentation
    Reinforcement learning for OCaml
    reinforcement-learning machine-learning environments
    Thibaut Mattio
    1.0.0~alpha3
    ISC
    Used by 1 other packages
    17 Mar 2026
  35. file-rewriter
    Documentation
    Apply small rewrites to tweak or refactor your files
    codemods refactoring
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 3 other packages
    30 Sep 2024
  36. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 390 other packages
    28 Jul 2025
  37. fpath-base
    Documentation
    Adds a few functions to Fpath to use alongside Base
    fpath fpath-sexp0 absolute-paths relative-paths base
    Mathieu Barbin
    0.4.0
    MIT
    Used by 5 other packages
    03 Nov 2025
  38. 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.4.0
    MIT
    Used by 13 other packages
    03 Nov 2025
  39. 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.
    32.0
    LGPL-2.1-only
    Used by 4 other packages
    08 Dec 2025
  40. 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.5
    LGPL-2.1-only
    Used by 0 other packages
    10 Feb 2026
  41. 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.4
    LGPL-2.1-only
    Used by 0 other packages
    10 Jul 2025
  42. 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
  43. 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
  44. geoip
    Documentation
    Bindings to GeoIP database library.
    org:ygrek
    ygrek
    0.0.3
    Used by 0 other packages
    08 Jul 2018
  45. 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 12 other packages
    15 Feb 2022
  46. 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
  47. 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.7.1
    MIT
    Used by 0 other packages
    27 Nov 2025
  48. gperftools
    Documentation
    Bindings to gperftools
    org:ygrek
    ygrek
    0.5
    Used by 0 other packages
    19 Feb 2020
  49. graft
    Documentation
    A Forester Preprocessor
    forester
    Patrick Ferris
    0.1.0
    MIT
    Used by 0 other packages
    24 Jul 2025
  50. 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
1 2 3 ... 4