122 search results for "author:"Christophe""
Showing 101 - 122
-
sail_latex_backend
No documentation
Sail to LaTeX formatting0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
sail_lean_backend
No documentation
Sail to Lean translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
sail_lem_backend
No documentation
Sail to Lem translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
sail_maker
No documentation
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_ocaml_backend
No documentation
Sail to OCaml translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
sail_output
No documentation
Example Sail output plugin0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
sail_smt_backend
No documentation
Sail to SMT translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
sail_sv_backend
No documentation
Sail to Systemverilog translation0.20.1BSD-2-ClauseUsed by 1 other packages22 Dec 2025 -
Binding to the SHA cryptographic functions1.15.4ISCUsed by 14 other packages23 Jan 2023
-
simple_httpd
No documentation
Simple HTTP server using ocaml 5 domains1.0.1MITUsed by 1 other packages06 Jan 2026 -
simple_httpd_caqti
No documentation
DB interface for simple_httpd using caqti1.0.1MITUsed by 0 other packages06 Jan 2026 -
RSS1, RSS2, Atom and OPML1 parsing1.7.0MITUsed by 2 other packages19 Jun 2025
-
Timed references for imperative state1.1MITUsed by 1 other packages05 Aug 2022
-
OCaml mode for GNU Emacs3.0.1GPL-2.0-or-laterUsed by 2 other packages03 Oct 2022
-
Resizable Arrays1.0.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 4 other packages04 May 2021
-
VOCaL -- The Verified OCaml Library0.1MITUsed by 0 other packages25 Dec 2018
-
Compile HTML templates into OCaml modules0.8LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages31 Oct 2018
-
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
-
Bindings to the zlib compression library0.8ISCUsed by 1 other packages05 Jun 2024