4511 search results for ""
Showing 3601 - 3650
-
0.5.0MITUsed by 1 other packages27 Oct 2024
-
0.5.0MITUsed by 0 other packages27 Oct 2024
-
0.7.0ISCUsed by 107 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.16.0MITUsed by 0 other packages07 Apr 2025
-
0.1.1BSD-3-ClauseUsed by 0 other packages17 Aug 2023
-
Automatic differentiation and JIT compilation for OCaml1.0.0~alpha0ISCUsed by 4 other packages05 Jul 2025
-
Generates dune files to run benchmarks from centralised config0.0.1MITUsed by 0 other packages18 Feb 2021
-
Tools for the runtime events tracing system in OCaml0.5.2ISCUsed by 1 other packages24 Jun 2025
-
Tools for the runtime events tracing system in OCaml0.5.2ISCUsed by 0 other packages24 Jun 2025
-
Bindings to the GETRUSAGE(2) syscall1.0.0MITUsed by 5 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
-
ASCII-based library for generating and querying source code0.1.0Apache-2.0Used by 0 other packages10 Jan 2024
-
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
-
sail
No documentation
Sail is a language for describing the instruction semantics of processors0.19.1BSD-2-ClauseUsed by 0 other packages12 Jun 2025 -
Sail to C translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to Coq translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail documentation generator0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to LaTeX formatting0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to Lean translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to Lem translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Helper tool for compiling Sail0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to OCaml translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Example Sail output plugin0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to SMT translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 2025
-
Sail to Systemverilog translation0.19.1BSD-2-ClauseUsed by 1 other packages12 Jun 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.1LGPL-3.0-or-laterUsed by 0 other packages12 Mar 2025
-
Salto Intermediate Language0.1.11LGPL-2.1-onlyUsed by 1 other packages09 Mar 2025
-
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
-
0.3.1MITUsed by 0 other packages28 Feb 2024
-
String diagram generator for LaTeX0.1.1GPL-3.0-or-laterUsed by 0 other packages07 Nov 2023
-
satML-plugin
No documentation
Alt-Ergo, an SMT Solver for Software Verification: satML Plugin1.30OCamlPro Non-Commercial LicenseUsed by 0 other packages23 Nov 2016 -
Ctypes and DIMACs interfaces to minisat, picosat and cryptominisat0.1.0Used by 0 other packages06 Jan 2017
-
Collection of concurent-safe data structures for Multicore OCaml1.0.0ISCUsed by 1 other packages05 Dec 2024
-
Collection of lock-free data structures for Multicore OCaml0.5.0ISCUsed by 2 other packages22 Aug 2024
-
A package manager for SATySFi0.0.2.13LGPL-3.0-or-laterUsed by 0 other packages26 Sep 2023
-
0.4.0MITUsed by 0 other packages09 Jun 2025
-
Sawja provides a high level representation of Java bytecode programs and static analysis tools1.5.12GPL-3.0-or-laterUsed by 0 other packages25 Jan 2023
-
OCaml DSL for 3D solid modelling in OpenSCAD1.1.0BSL-1.0Used by 1 other packages22 Dec 2021