140 search results for "tag:"RE""

Showing 101 - 140
  1. redis-lwt
    Documentation
    Redis client (lwt interface)
    redis lwt
    Mike Wells David Höppner Aleksandr Dinu
    0.7.1
    BSD-3-Clause
    Used by 4 other packages
    20 Oct 2023
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. rope
    Documentation
    Ropes (heavyweight strings)
    datastructure
    Christophe Troestler
    0.6.3
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    27 Feb 2024
  8. 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 9 other packages
    16 Jun 2022
  9. rresult
    Documentation
    Result value combinators for OCaml
    result error org:erratique
    The rresult programmers
    0.7.0
    ISC
    Used by 149 other packages
    06 Oct 2021
  10. SZXX
    Documentation
    Streaming ZIP XML XLSX parser
    XLSX Excel ZIP XML spreadsheet Stream Streaming
    Simon Grondin
    4.1.3
    MIT
    Used by 0 other packages
    06 Jan 2024
  11. 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
  12. 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
  13. slipshow
    Documentation
    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.0.33
    MIT
    Used by 0 other packages
    14 Sep 2024
  14. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 1 other packages
    19 Feb 2020
  15. sqlgg
    Documentation
    SQL Guided (code) Generator
    org:ygrek
    ygrek
    20231201
    GPL-2.0-only
    Used by 0 other packages
    24 Jun 2024
  16. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.2.0
    MIT
    Used by 30 other packages
    06 Aug 2024
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    15 Jul 2024
  23. 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
  24. thread-local-storage
    Documentation
    Efficient thread local storage for OCaml
    topics threads tls
    Vesa Karvonen
    0.2
    MIT
    Used by 3 other packages
    24 Aug 2024
  25. 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 6 other packages
    23 Jun 2024
  26. 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
  27. 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
  28. 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
  29. tyre
    Documentation
    Typed Regular Expressions
    regex
    Gabriel Radanne
    0.5
    ISC
    Used by 2 other packages
    27 Jan 2020
  30. 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
  31. 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
  32. 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
  33. why

    No documentation

    Why is a software verification platform.
    deductive program verification specification automated theorem prover interactive theorem prover Java JML C ACSL
    Jean-Christophe Filliâtre Claude Marché Yannick Moy Romain Bardou
    2.41
    LGPL-2.1-only
    Used by 0 other packages
    03 Jul 2018
  34. 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.7.2
    LGPL-2.1-only
    Used by 9 other packages
    22 Apr 2024
  35. why3-base

    No documentation

    Why3 environment for deductive program verification (base)
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    0.88.3
    LGPL-2.1-only
    Used by 1 other packages
    12 Jan 2018
  36. 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.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  37. 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.7.2
    LGPL-2.1-only
    Used by 0 other packages
    22 Apr 2024
  38. 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
  39. 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
  40. 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