147 search results for "tag:"RE""

Showing 101 - 147
  1. processor
    Documentation
    Processor Topology & Affinity for ocaml
    processor multicore cpu thread core package socket affinity scheduler domain
    Christiano Haesbaert
    0.2
    ISC
    Used by 1 other packages
    26 Jul 2024
  2. pumping
    Documentation
    Regular languages in types
    regex types
    Gabriel Radanne
    0.1.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    01 Apr 2017
  3. 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.8
    BSD-2-clause
    Used by 8 other packages
    10 Apr 2025
  4. 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
  5. 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
  6. 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
  7. redis
    Documentation
    Redis client
    redis
    Mike Wells David Höppner Aleksandr Dinu
    0.8
    BSD-3-Clause
    Used by 4 other packages
    14 May 2025
  8. redis-lwt
    Documentation
    Redis client (lwt interface)
    redis lwt
    Mike Wells David Höppner Aleksandr Dinu
    0.8
    BSD-3-Clause
    Used by 3 other packages
    14 May 2025
  9. redis-sync
    Documentation
    Redis client (blocking)
    redis unix
    Mike Wells David Höppner Aleksandr Dinu
    0.8
    BSD-3-Clause
    Used by 0 other packages
    14 May 2025
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. rpc
    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
  16. 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
  17. 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
  18. sexps-rewriter
    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
  19. 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
  20. 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
  21. slipshow
    Documentation
    A compiler from markdown to slipshow
    slipshow presentation slideshow beamer
    Paul-Elliot
    0.2.0
    GPL-3.0-or-later
    Used by 0 other packages
    15 Apr 2025
  22. 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
  23. sqlgg
    Documentation
    SQL Guided (code) Generator
    org:ygrek
    ygrek
    20231201
    GPL-2.0-only
    Used by 0 other packages
    24 Jun 2024
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. term-indexing
    Documentation
    Term indexing library
    symbolics rewriting
    Ilias Garnier
    0.0.1
    MIT
    Used by 0 other packages
    15 Jul 2024
  31. 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
  32. 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
  33. tiny_httpd
    Documentation
    Minimal HTTP server using threads
    http thread server tiny_httpd http_of_dir simplehttpserver
    c-cube
    0.19
    MIT
    Used by 8 other packages
    22 Apr 2025
  34. 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
  35. 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
  36. 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
  37. tyre
    Documentation
    Typed Regular Expressions
    regex
    Gabriel Radanne
    0.5
    ISC
    Used by 2 other packages
    27 Jan 2020
  38. 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
  39. 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
  40. 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
  41. wasm
    Documentation
    Library to read and write WebAssembly (Wasm) files and manipulate their AST
    wasm webassembly spec interpreter
    Andreas Rossberg <rossberg@mpi-sws.org
    2.0.2
    Apache-2.0
    Used by 0 other packages
    27 May 2025
  42. 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.1
    LGPL-2.1-only
    Used by 6 other packages
    09 Jun 2025
  43. 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.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  44. 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.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  45. 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
  46. 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
  47. 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