4218 search results for "author:" ""
Showing 451 - 500
-
A derivation explorer and logger for menhir parser2.1GPL-2.0-or-laterUsed by 0 other packages13 Dec 2025
-
Binding to Cairo, a 2D Vector Graphics Library0.6.5LGPL-3.0-or-laterUsed by 15 other packages12 Nov 2024
-
Rendering Cairo on Gtk2 canvas0.6.5LGPL-3.0-or-laterUsed by 1 other packages12 Nov 2024
-
Interface between Cairo and Pango (for Gtk2)0.6.5LGPL-3.0-or-laterUsed by 0 other packages12 Nov 2024
-
A platform for characterizing the safety and robustness of artificial intelligence based software5.0LGPL-2.1-onlyUsed by 0 other packages03 Mar 2026
-
CAISAR's intermediate representation0.2LGPL-2.1-onlyUsed by 2 other packages27 Jun 2023
-
NNet parser for CAISAR0.2LGPL-2.1-onlyUsed by 1 other packages27 Jun 2023
-
ONNX parser for CAISAR0.2LGPL-2.1-onlyUsed by 1 other packages27 Jun 2023
-
OVO parser for CAISAR0.2LGPL-2.1-onlyUsed by 1 other packages27 Jun 2023
-
XGBOOST parser for CAISAR0.2LGPL-2.1-onlyUsed by 1 other packages27 Jun 2023
-
calcium
No documentation
Deprecated use flint0.4.0LGPL-2.1-onlyUsed by 1 other packages11 Jul 2024 -
0.2.4ISCUsed by 0 other packages19 Mar 2025
-
3.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 21 other packages12 Oct 2022
-
Convert dates between gregorian/julian/french/hebrew/islamic calendars2.0.0GPL-2.0-onlyUsed by 0 other packages29 Jan 2026
-
Rewrites C programs to remove non-structured control-flow4.1.0LGPL-2.0-onlyUsed by 0 other packages26 May 2021
-
CaLLi : OCaml Library for Static Analysis of LLVM bitcode0.2MITUsed by 0 other packages06 Dec 2023
-
Pure OCaml implementation of Curve255190.2MITUsed by 1 other packages04 Sep 2018
-
An OCaml Linter / Style Checker2.0.1Apache-2.0Used by 0 other packages13 Feb 2025
-
A Ocaml library for word case conversion0.4MITUsed by 0 other packages14 Dec 2018
-
Caml mode for GNU Emacs4.9GPL-2.0-or-laterUsed by 1 other packages09 Sep 2021
-
transitionLGPL-3.0-or-later with OCaml-LGPL-linking-exceptionUsed by 2 other packages08 Apr 2024
-
A highly efficient OCaml set implementation for fat sets, i.e. densely populated sets over a discrete linear order0.3BSD-3-clauseUsed by 0 other packages07 Apr 2025
-
Interface to Alan Murta's General Polygon Clipper1.2MITUsed by 0 other packages17 Jan 2025
-
OCaml library for generating C stubs0.2LGPL-2.1-onlyUsed by 0 other packages11 Dec 2025
-
Stub code generator for OCaml1.13LGPL-2.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 13 other packages13 Jun 2025
-
camlimages
No documentation
Image processing library5.0.5LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages18 Dec 2023 -
camlkit
No documentation
0.3.0ISCUsed by 0 other packages05 Nov 2024 -
camlkit-base
No documentation
OCaml bindings to the Objective-C runtime and some base frameworks0.3.0ISCUsed by 2 other packages05 Nov 2024 -
camlkit-gui
No documentation
OCaml bindings to AppKit and other gui frameworks0.3.0ISCUsed by 1 other packages05 Nov 2024 -
Utility Library (including various datatypes)1.3.3LGPL-2.1-onlyUsed by 1 other packages11 Mar 2021
-
Camlmix is a generic preprocessor which converts text with embedded1.3.0BSD-3-ClauseUsed by 0 other packages21 Nov 2013
-
Caml Object Notion, parsing and printing OCaml like data expressions3.1.0MITUsed by 0 other packages27 Jul 2022
-
The Stream and Genlex libraries for use with Camlp4 and Camlp55.0.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 56 other packages27 Jun 2022
-
Camlp4 is a system for writing extensible parsers for programming languages5.4LGPL-2.1-onlyUsed by 53 other packages07 Oct 2025
-
Preprocessor-pretty-printer of OCaml8.04.00BSD-3-ClauseUsed by 28 other packages09 Oct 2025
-
Camlp5 Build scripts (written in OCaml)0.06BSD-3-ClauseUsed by 11 other packages02 Apr 2025
-
Read, write and modify PDF files2.9LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages16 Mar 2026
-
Primality testing with lazy lists of prime numbers0.5GPL-2.0-or-laterUsed by 0 other packages02 Dec 2014
-
0.10.1MITUsed by 1 other packages12 Feb 2022
-
OCaml bindings for tokyo cabinet0.9.8Apache-2.0Used by 1 other packages28 Aug 2018
-
Accessing compressed files in ZIP, GZIP and JAR format1.14LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 40 other packages09 Feb 2026
-
A Unicode library2.0.0LGPL-2.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 7 other packages22 Mar 2023
-
0.4.4MITUsed by 0 other packages07 Apr 2025
-
Capture unhandled exceptions and automatically report them through various channels0.0.4GPL-2.0-or-laterUsed by 0 other packages23 Feb 2026
-
Defines case conventions and functions to rename identifiers according to themv0.17.0MITUsed by 1 other packages23 May 2024
-
OCaml code generation plugin for the Cap'n Proto serialization framework3.6.0BSD-2-ClauseUsed by 4 other packages21 Jul 2023
-
Cap'n Proto is a capability-based RPC system with bindings for many languages2.1.1Apache-2.0Used by 4 other packages28 Jan 2026
-
Cap'n Proto is a capability-based RPC system with bindings for many languages2.0Apache-2.0Used by 5 other packages02 Dec 2024
-
Cap'n Proto is a capability-based RPC system with bindings for many languages2.1.1Apache-2.0Used by 2 other packages28 Jan 2026
-
Cap'n Proto is a capability-based RPC system with bindings for many languages2.1.1Apache-2.0Used by 1 other packages28 Jan 2026