144 search results for "tag:"RE""

Showing 101 - 144
  1. qcheck-multicoretests-util
    Documentation
    Various utility functions for property-based testing of multicore programs
    test property qcheck quickcheck multicore non-determinism
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.7
    BSD-2-clause
    Used by 8 other packages
    23 Jan 2025
  2. qfs

    No documentation

    Bindings to libqfs - client library to access QFS
    org:ahrefs clib:stdc clib:qfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    0.12
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Jan 2020
  3. react
    Documentation
    Declarative events and signals for OCaml
    reactive declarative signal event frp org:erratique
    The react programmers
    1.2.2
    ISC
    Used by 16 other packages
    10 Feb 2022
  4. reactiveData
    Documentation
    Declarative events and signals for OCaml
    reactive declarative signal event frp
    Hugo Heuzard <hugo.heuzard@gmail.com>
    0.3.1
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    04 Mar 2025
  5. redis
    Documentation
    Redis client
    redis
    Mike Wells David Höppner Aleksandr Dinu
    0.7.1
    BSD-3-Clause
    Used by 4 other packages
    20 Oct 2023
  6. redis-lwt
    Documentation
    Redis client (lwt interface)
    redis lwt
    Mike Wells David Höppner Aleksandr Dinu
    0.7.1
    BSD-3-Clause
    Used by 3 other packages
    20 Oct 2023
  7. redis-sync
    Documentation
    Redis client (blocking)
    redis unix
    Mike Wells David Höppner Aleksandr Dinu
    0.7.1
    BSD-3-Clause
    Used by 0 other packages
    20 Oct 2023
  8. reshowcase
    Documentation
    A tool to create demos for your ReasonReact components
    melange org:ahrefs
    bloodyowl <mlbli@me.com>
    5.3.0
    MIT
    Used by 0 other packages
    24 Oct 2023
  9. resp-client
    Documentation
    Redis serialization protocol client library
    redis protocol
    Zach Shipko <zachshipko@gmail.com>
    0.11.0
    ISC
    Used by 3 other packages
    27 Oct 2021
  10. rio
    Documentation
    Ergonomic, composable, efficient read/write streams
    multicore io streams read write
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.8
    MIT
    Used by 5 other packages
    05 Mar 2024
  11. riot
    Documentation
    An actor-model multi-core scheduler for OCaml 5
    multicore erlang actor message-passing processes
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.9
    MIT
    Used by 4 other packages
    15 Apr 2024
  12. rope
    Documentation
    Ropes (heavyweight strings)
    datastructure
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    27 Feb 2024
  13. rpc

    No documentation

    A library to deal with RPCs in OCaml - meta-package
    org:mirage org:xapi-project deprecated
    Thomas Gazagnaire Jon Ludlam
    9.0.0
    ISC
    Used by 1 other packages
    16 Jun 2022
  14. rresult
    Documentation
    Result value combinators for OCaml
    result error org:erratique
    The rresult programmers
    0.7.0
    ISC
    Used by 136 other packages
    06 Oct 2021
  15. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.2.0
    MIT
    Used by 0 other packages
    22 Dec 2024
  16. sexps-rewriter

    No documentation

    A specialized file-rewriter for applying rewrites to sexp files
    codemods refactoring sexp-files
    Mathieu Barbin
    0.0.3
    Apache-2.0
    Used by 1 other packages
    30 Sep 2024
  17. shuttle
    Documentation
    Reasonably performant non-blocking channels for async
    async reader writer
    Anurag Soni
    0.9.4
    MIT
    Used by 2 other packages
    26 Apr 2023
  18. shuttle_ssl
    Documentation
    Async_ssl support for shuttle
    async reader writer ssl
    Anurag Soni
    0.9.4
    MIT
    Used by 1 other packages
    26 Apr 2023
  19. slipshow
    Documentation
    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.1.1
    GPL-3.0-or-later
    Used by 0 other packages
    14 Mar 2025
  20. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    19 Feb 2020
  21. sqlgg
    Documentation
    SQL Guided (code) Generator
    org:ygrek
    ygrek
    20231201
    GPL-2.0-only
    Used by 0 other packages
    24 Jun 2024
  22. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.3.1
    MIT
    Used by 23 other packages
    09 Mar 2025
  23. stemming
    Documentation
    Collection of stemmers
    org:ygrek
    ygrek Mykola Stryebkov
    0.2.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    08 Jul 2018
  24. sun
    Documentation
    Take screenshot under Wayland
    sun screenshot wayland grim slurp
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    01 Feb 2023
  25. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
  26. swhid_compute
    Documentation
    OCaml library to work with Software Heritage identifiers, compute library used in swhid
    swh software heritage archive shwid persistent identifier compute
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    05 Apr 2022
  27. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 1 other packages
    03 Apr 2022
  28. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    15 Jul 2024
  29. term-tools
    Documentation
    Various tools for manipulating first-order terms
    symbolics rewriting
    Ilias Garnier
    0.0.2
    MIT
    Used by 0 other packages
    03 Nov 2024
  30. thread-local-storage
    Documentation
    Efficient thread local storage for OCaml
    topics threads tls
    Vesa Karvonen
    0.2
    MIT
    Used by 5 other packages
    24 Aug 2024
  31. tiny_httpd
    Documentation
    Minimal HTTP server using threads
    http thread server tiny_httpd http_of_dir simplehttpserver
    c-cube
    0.17.0
    MIT
    Used by 7 other packages
    23 Jun 2024
  32. trail
    Documentation
    A minimalistic, composable web framework for building HTTP/WebSocket servers
    composable web framework http websockets ws riot multicore
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    24 Apr 2024
  33. tree_layout
    Documentation
    Algorithms to layout trees in a pretty manner
    tree graph drawing
    Gabriel Radanne
    0.2
    ISC
    Used by 0 other packages
    15 Apr 2019
  34. trs
    Documentation
    Parsing library for the TRS format, the format for first-order rewrite systems
    trs rewrite systems
    Soichi Yajima
    1.0.0
    MIT
    Used by 0 other packages
    22 Oct 2024
  35. tyre
    Documentation
    Typed Regular Expressions
    regex
    Gabriel Radanne
    0.5
    ISC
    Used by 2 other packages
    27 Jan 2020
  36. ubpf
    Documentation
    OCaml bindings for userspace eBPF VM
    org:ahrefs
    Raman Varabets <roman.vorobets@gmail.com> ygrek <ygrek@autistici.org>
    0.2
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    18 Feb 2022
  37. unix-dirent
    Documentation
    ocaml-unix-dirent provides access to the features exposed in dirent.h
    unix posix dirent syscall readdir
    David Sheets Jeremy Yallop
    0.3.5
    ISC
    Used by 0 other packages
    22 Jan 2017
  38. unix-sys-resource
    Documentation
    Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)
    unix posix sys/resource.h getrlimit setrlimit rlimit
    David Sheets
    0.1.2
    ISC
    Used by 0 other packages
    04 Jun 2016
  39. why3
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 6 other packages
    13 Dec 2024
  40. why3-coq
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  41. why3-ide
    Documentation
    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.0
    LGPL-2.1-only
    Used by 0 other packages
    13 Dec 2024
  42. zar
    Documentation
    Formally verified sampling from discrete probability distributions
    zar random sampler verified coq discrete
    Alexander Bagnall
    0.9.3
    MIT
    Used by 0 other packages
    17 Feb 2024
  43. zenon_modulo
    Documentation
    Zenon Modulo Theory
    automated theorem prover
    INRIA and contributors
    0.5.0
    BSD-3-Clause
    Used by 0 other packages
    26 Jan 2024
  44. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
1 2 3