4244 search results for "author:" ""
Showing 3501 - 3550
-
A library to deal with RPCs in OCaml - meta-package9.0.0ISCUsed by 1 other packages16 Jun 2022
-
Type-safe parallel library built on top of Async_rpcv0.17.0MITUsed by 0 other packages26 May 2024
-
rpclib
No documentation
10.2.0ISCUsed by 7 other packages02 Apr 2026 -
rpclib-async
No documentation
A library to deal with RPCs in OCaml - Async interface10.2.0ISCUsed by 0 other packages02 Apr 2026 -
rpclib-html
No documentation
A library to deal with RPCs in OCaml - html documentation generator10.2.0ISCUsed by 0 other packages02 Apr 2026 -
rpclib-js
No documentation
A library to deal with RPCs in OCaml - Bindings for js_of_ocaml10.2.0ISCUsed by 0 other packages02 Apr 2026 -
rpclib-lwt
No documentation
A library to deal with RPCs in OCaml - Lwt interface10.2.0ISCUsed by 0 other packages02 Apr 2026 -
0.8.0MITUsed by 0 other packages26 Sep 2025
-
CLI utility for reading RPM package information (like rpm -qi)0.4.0MITUsed by 0 other packages30 Sep 2024
-
0.5.0MITUsed by 1 other packages27 Oct 2024
-
0.5.0MITUsed by 0 other packages27 Oct 2024
-
0.7.0ISCUsed by 110 other packages06 Oct 2021
-
Bindings for RSDD0.1.0MITUsed by 0 other packages06 Oct 2023
-
3.0LGPL-3.0-onlyUsed by 1 other packages03 Aug 2021
-
Reason toplevel3.17.3MITUsed by 0 other packages22 Jan 2026
-
0.1.1BSD-3-ClauseUsed by 0 other packages17 Aug 2023
-
Functional transformations for Nx arrays1.0.0~alpha3ISCUsed by 2 other packages17 Mar 2026
-
Generates dune files to run benchmarks from centralised config0.0.1MITUsed by 0 other packages18 Feb 2021
-
runtime_events_tools
No documentation
Tools for the runtime events tracing system in OCaml0.5.4ISCUsed by 1 other packages10 Apr 2026 -
runtime_events_tools_bare
No documentation
Tools for the runtime events tracing system in OCaml0.5.4ISCUsed by 0 other packages10 Apr 2026 -
Bindings to the GETRUSAGE(2) syscall1.0.0MITUsed by 4 other packages19 Nov 2020
-
Utility for generating Rust static libraries for OCaml projects0.2.2Apache-2.0Used by 0 other packages12 Nov 2024
-
A Sentinel/marker package to define the rust staticlib virtual library0.2.2Apache-2.0Used by 1 other packages12 Nov 2024
-
Snowflake : A Generic Symbolic Dynamic Programming framework0.02.03LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages05 Sep 2022
-
4.2.0MITUsed by 0 other packages22 Dec 2024
-
Symbolic Algorithms for Finite Automata1.4LGPL-3.0-onlyUsed by 1 other packages02 Feb 2016
-
A type safe money manipulation library0.3.0MITUsed by 0 other packages27 Mar 2025
-
Facilities for the safe storage of user passwords3.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packages20 Mar 2021
-
Text processing and NLP extensions for Nx1.0.0~alpha2ISCUsed by 3 other packages26 Nov 2025
-
sail
No documentation
Sail is a language for describing the instruction semantics of processors0.20.1BSD-2-ClauseUsed by 0 other packages22 Dec 2025 -
Sail to C translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail to Coq translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail documentation generator0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail to LaTeX formatting0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail to Lean translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail to Lem translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Helper tool for compiling Sail0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Helper tool for compiling Sail0.20BSD-2-ClauseUsed by 1 other packages14 Oct 2025
-
Sail to OCaml translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Example Sail output plugin0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail to SMT translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Sail to Systemverilog translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025
-
Salsa20 family of encryption functions, in pure OCaml1.2.0BSD-2-ClauseUsed by 0 other packages15 Aug 2021
-
The Salsa20 core functions, in OCaml2.0.0BSD-2-ClauseUsed by 0 other packages15 Jul 2024
-
Salto static analyzer for OCaml programs0.2LGPL-3.0-or-laterUsed by 0 other packages23 Nov 2025
-
Salto Intermediate Language0.2.1LGPL-2.1-onlyUsed by 1 other packages04 Mar 2026
-
Samplerate audio conversion library0.1.6BSD-2-ClauseUsed by 0 other packages03 Aug 2021
-
A simple immutable database for the masses0.3.0MITUsed by 0 other packages23 Mar 2022
-
sanlock
No documentation
Ctypes bindings to libsanlock for OCaml0.0.9Used by 0 other packages15 Dec 2015 -
GPGPU kernel DSL for OCaml20210823Cecill-BUsed by 0 other packages25 Aug 2021