19 search results for "tag:"type""

Showing 1 - 19
  1. catt
    Documentation
    An infinity-categorical coherence typechecker
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 1 other packages
    15 Oct 2024
  2. coq-catt-plugin
    Documentation
    A Coq plugin for the catt proof-assistant
    higher-categories dependent-type-theory
    Thibaut Benjamin <thibaut.benjamin@gmail.com> Chiara Sarti <cs2197@cam.ac.uk>
    1.0
    MIT
    Used by 0 other packages
    15 Oct 2024
  3. dolmen_model
    Documentation
    The Dolmen library for verifying models generated by automated theorem provers and SMT solvers
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 2 other packages
    24 Jun 2024
  4. dolmen_type
    Documentation
    The Dolmen library for typechecking languages
    logic type typechecking first order polymorphism
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 5 other packages
    24 Jun 2024
  5. imguiml

    No documentation

    ImGUI bindings to OCaml
    graphics imgui ctypes bindings
    Emilien Lemaire <emilien.lem@icloud.com>
    v1.90.6
    MIT
    Used by 0 other packages
    10 Jul 2024
  6. labrys

    No documentation

    A toy language based on LLVM that implements the System Fω type-system
    compiler System F System Fω llvm type-system language
    Kate <kit.ty.kate@disroot.org>
    0.1
    MIT
    Used by 0 other packages
    09 Aug 2018
  7. ocp-browser
    Documentation
    Console browser for the documentation of installed OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne
    1.3.7
    GPL-3.0-only
    Used by 0 other packages
    08 Jan 2025
  8. ocp-indent
    Documentation
    A simple tool to indent OCaml programs
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.8.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 17 other packages
    24 Oct 2019
  9. ocp-indent-nlfork
    Documentation
    `ocp-indent` library, "newline tokens" fork
    org:ocamlpro org:typerex
    Grégoire Henry <gregoire.henry@ocamlpro.com> Louis Gesbert <louis.gesbert@ocamlpro.com> Thomas Gazagnaire <thomas@gazagnaire.org> Jun Furuse
    1.5.5
    LGPL-3.0-or-later
    Used by 2 other packages
    22 Jan 2025
  10. ocp-index
    Documentation
    Lightweight completion and documentation browsing for OCaml libraries
    org:ocamlpro org:typerex
    Louis Gesbert Gabriel Radanne Kate Deplaix
    1.3.7
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
    Used by 4 other packages
    08 Jan 2025
  11. ocp-reloc
    Documentation
    Relocation of OCaml bytecode executables
    org:ocamlpro org:typerex
    Louis Gesbert <louis.gesbert@ocamlpro.com>
    0.1
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    31 Aug 2018
  12. otfm
    Documentation
    OpenType font decoder for OCaml
    OpenType ttf font decoder graphics org:erratique
    The otfm programmers
    0.4.0
    ISC
    Used by 1 other packages
    23 Mar 2020
  13. provider
    Documentation
    Dynamic Dispatch with Traits
    dynamic-dispatch parametrization traits typeclasses
    Mathieu Barbin
    0.0.11
    ISC
    Used by 0 other packages
    21 Nov 2024
  14. pumping
    Documentation
    Regular languages in types
    regex types
    Gabriel Radanne
    0.1.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    01 Apr 2017
  15. sqlite3_utils
    Documentation
    High-level wrapper around ocaml-sqlite3
    sqlite3 gadt typed sql
    Simon Cruanes
    0.5
    MIT
    Used by 0 other packages
    04 Jan 2022
  16. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 1 other packages
    03 Apr 2022
  17. tty
    Documentation
    A library for interacting with teletype and terminal emulators
    terminal ansi tty teletype utf8
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 2 other packages
    21 Dec 2023
  18. typed_list

    No documentation

    A list with type information
    typed_list
    Stefan Muenzel <source@s.muenzel.net>
    0.0.1.1
    MPL-2.0
    Used by 0 other packages
    28 Jun 2025
  19. typeid
    Documentation
    Typeid and UUIDv7 implementation in OCaml
    uuidv7 typeid
    CREACH Titouan
    2.0.0
    MIT
    Used by 0 other packages
    22 Apr 2024