15 search results for "tag:"term""

Showing 1 - 15
  1. ANSITerminal
    Documentation
    Basic control of ANSI compliant terminals and the windows shell
    terminal
    Christophe Troestler Vincent Hugot
    0.8.5
    LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    19 Jul 2022
  2. ansifmt
    Documentation
    A simple, lightweight library for ANSI styling
    ansi formatting styling pretty-printing terminal
    lexa <contact@qexat.com>
    2.0.0
    MIT
    Used by 0 other packages
    11 Nov 2025
  3. ascend
    Documentation
    Ascend - Terminal Dungeon RPG adventure
    game terminal
    eir
    0.1.2-1
    AGPL-3.0-only
    Used by 0 other packages
    09 Oct 2024
  4. leaves
    Documentation
    A collection of reusable components from Mint Tea
    tui terminal-ui apps components component library
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 0 other packages
    29 Dec 2023
  5. libzipperposition
    Documentation
    Library for Zipperposition
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 2 other packages
    05 Sep 2021
  6. logtk
    Documentation
    Core types and algorithms for logic
    logic unification term
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 3 other packages
    05 Sep 2021
  7. matrix
    Documentation
    Fast, modern terminal toolkit for OCaml
    terminal ansi input grid rendering unicode pty vte
    Thibaut Mattio
    0.1.0
    ISC
    Used by 3 other packages
    28 Feb 2026
  8. matrix-eio
    Documentation
    Eio-based runtime for the Matrix terminal library
    terminal eio structured-concurrency
    Thibaut Mattio
    0.1.0
    ISC
    Used by 0 other packages
    28 Feb 2026
  9. minttea
    Documentation
    A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea
    tui terminal-ui framework riot
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 1 other packages
    29 Dec 2023
  10. mosaic
    Documentation
    Terminal UI framework for OCaml with The Elm Architecture
    tui terminal tea elm user-interface
    Thibaut Mattio
    0.1.0
    ISC
    Used by 2 other packages
    28 Feb 2026
  11. qcheck-multicoretests-util
    Documentation
    Various utility functions for property-based testing of multicore programs
    test property qcheck quickcheck multicore non-determinism
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.10
    BSD-2-clause
    Used by 8 other packages
    07 Oct 2025
  12. spices
    Documentation
    Declarative styles for TUI applications
    styling styles declarative framework tui terminal-ui apps
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 4 other packages
    29 Dec 2023
  13. terml
    Documentation
    Terml is a pure-ocaml library for manipulating terminal output. Making possible to write text-based interfaces with ease
    tui terminal terminal-tui
    Willians Faria <dev.willians.faria@gmail.com>
    0.0.1
    MIT
    Used by 0 other packages
    02 Apr 2024
  14. 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
  15. zipperposition
    Documentation
    A fully automatic theorem prover for typed higher-order and beyond
    logic unification term superposition prover
    Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
    2.1
    BSD-2-Clause
    Used by 0 other packages
    05 Sep 2021