18 search results for "tag:"term""

Showing 1 - 18
  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 15 other packages
    Added to opam-repository
  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
    Added to opam-repository
  3. ascend
    Documentation
    Ascend - Terminal Dungeon RPG adventure
    game terminal
    eir
    0.1.2-1
    AGPL-3.0-only
    Used by 0 other packages
    Added to opam-repository
  4. keyseq
    Documentation
    Deterministic planner for human-like typing
    typing-simulation human-typing keystroke deterministic
    Sergiy Duras <sergiy@duras.org>
    0.1.0
    ISC
    Used by 0 other packages
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. 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
    Added to opam-repository
  8. 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
    Added to opam-repository
  9. 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
    Added to opam-repository
  10. 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
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. 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
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. symphony-orchestrator-tui
    Documentation
    Terminal UI toolkit for OCaml applications
    terminal tui ui widgets layout
    Matheus Barni
    0.1.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  15. termaid
    Documentation
    Render Mermaid diagrams as Unicode box-drawing art
    mermaid diagram terminal tui box-drawing flowchart unicode
    Alex Leighton <axlelonghorn@gmail.com>
    1.0.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  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
    Added to opam-repository
  18. 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
    Added to opam-repository