11 Search Results
dolmen_type
A typechecker for automated deduction languages
0.7
BSD-2-Clause
Used by 5 other packages
labrys
A toy language based on LLVM that implements the System Fω type-system
0.1
MIT
Used by 0 other packages
ocp-browser
Console browser for the documentation of installed OCaml libraries
1.3.4
GPL-3.0-only
Used by 0 other packages
ocp-indent
A simple tool to indent OCaml programs
1.8.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 11 other packages
ocp-index
Lightweight completion and documentation browsing for OCaml libraries
1.3.4
LGPL-2.1-only with OCaml-LGPL-linking-exception; GPL-3.0-only
Used by 5 other packages
ocp-reloc
Relocation of OCaml bytecode executables
0.1
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
otfm
OpenType font decoder for OCaml
0.4.0
ISC
Used by 1 other packages
pumping
Regular languages in types
0.1.0
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 0 other packages
sqlite3_utils
High-level wrapper around ocaml-sqlite3
0.5
MIT
Used by 0 other packages
swhid_types
OCaml library to work with Software Heritage identifiers, types library used in swhid
0.1
ISC
Used by 1 other packages