166 search results for "tag:"RE""
Showing 151 - 166
-
0.2MITUsed by 5 other packages24 Aug 2024
-
0.19MITUsed by 8 other packages22 Apr 2025
-
A minimalistic, composable web framework for building HTTP/WebSocket servers0.0.1MITUsed by 1 other packages24 Apr 2024
-
0.2ISCUsed by 0 other packages15 Apr 2019
-
Parsing library for the TRS format, the format for first-order rewrite systems1.0.0MITUsed by 0 other packages22 Oct 2024
-
tyre
No documentation
1.0ISCUsed by 2 other packages08 Dec 2025 -
OCaml bindings for userspace eBPF VM0.2LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages18 Feb 2022
-
ocaml-unix-dirent provides access to the features exposed in dirent.h0.3.5ISCUsed by 0 other packages22 Jan 2017
-
Unix sys/resource.h types and bindings (getrlimit, setrlimit, and friends)0.1.2ISCUsed by 0 other packages04 Jun 2016
-
Library to read and write WebAssembly (Wasm) files and manipulate their AST2.0.2Apache-2.0Used by 0 other packages27 May 2025
-
Why3 environment for deductive program verification1.8.2LGPL-2.1-onlyUsed by 7 other packages19 Sep 2025
-
Why3 environment for deductive program verification1.8.2LGPL-2.1-onlyUsed by 0 other packages19 Sep 2025
-
Why3 environment for deductive program verification1.8.2LGPL-2.1-onlyUsed by 0 other packages19 Sep 2025
-
Formally verified sampling from discrete probability distributions0.9.3MITUsed by 0 other packages17 Feb 2024
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024
-
0.4BSD-3-ClauseUsed by 1 other packages08 Apr 2024