14 search results for "tag:"type""
Showing 1 - 14
-
A model checker for automated deduction languages0.9BSD-2-ClauseUsed by 1 other packages06 Jul 2023
-
A typechecker for automated deduction languages0.9BSD-2-ClauseUsed by 4 other packages06 Jul 2023
-
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
-
1.0.1MITUsed by 0 other packages19 Mar 2024