15 search results for "tag:"type""
Showing 1 - 15
-
The Dolmen library for verifying models generated by automated theorem provers and SMT solvers0.10BSD-2-ClauseUsed by 1 other packages24 Jun 2024
-
The Dolmen library for typechecking languages0.10BSD-2-ClauseUsed by 3 other packages24 Jun 2024
-
imguiml
No documentation
v1.90.6MITUsed by 0 other packages10 Jul 2024 -
labrys
No documentation
A toy language based on LLVM that implements the System Fω type-system0.1MITUsed by 0 other packages09 Aug 2018 -
Console browser for the documentation of installed OCaml libraries1.3.6GPL-3.0-onlyUsed by 0 other packages27 Feb 2024
-
A simple tool to indent OCaml programs1.8.1LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 13 other packages24 Oct 2019
-
ocp-indent library, "newline tokens" fork1.5.4LGPL-3.0-or-laterUsed by 2 other packages07 Feb 2020
-
Lightweight completion and documentation browsing for OCaml libraries1.3.6LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-onlyUsed by 5 other packages27 Feb 2024
-
Relocation of OCaml bytecode executables0.1LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages31 Aug 2018
-
OpenType font decoder for OCaml0.4.0ISCUsed by 1 other packages23 Mar 2020
-
0.1.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages01 Apr 2017
-
0.5MITUsed by 0 other packages04 Jan 2022
-
OCaml library to work with Software Heritage identifiers, types library used in swhid0.1ISCUsed by 1 other packages03 Apr 2022
-
A library for interacting with teletype and terminal emulators0.0.2MITUsed by 2 other packages21 Dec 2023
-
2.0.0MITUsed by 0 other packages22 Apr 2024