12 search results for "tag:"term""
Showing 1 - 12
-
ANSITerminal
No documentation
Basic control of ANSI compliant terminals and the windows shell0.8.5LGPL-3.0-or-later WITH OCaml-LGPL-linking-exceptionUsed by 16 other packages19 Jul 2022 -
A simple, lightweight library for ANSI formatting0.3.0MITUsed by 0 other packages26 Feb 2025
-
ascend
No documentation
0.1.2-1AGPL-3.0-onlyUsed by 0 other packages09 Oct 2024 -
A collection of reusable components from Mint Tea0.0.2MITUsed by 0 other packages29 Dec 2023
-
Library for Zipperposition2.1BSD-2-ClauseUsed by 2 other packages05 Sep 2021
-
Core types and algorithms for logic2.1BSD-2-ClauseUsed by 3 other packages05 Sep 2021
-
A fun, functional, and stateful way to build terminal apps in OCaml heavily inspired by Go's BubbleTea0.0.2MITUsed by 1 other packages29 Dec 2023
-
qcheck-multicoretests-util
No documentation
Various utility functions for property-based testing of multicore programs0.8BSD-2-clauseUsed by 8 other packages10 Apr 2025 -
Declarative styles for TUI applications0.0.2MITUsed by 4 other packages29 Dec 2023
-
Terml is a pure-ocaml library for manipulating terminal output. Making possible to write text-based interfaces with ease0.0.1MITUsed by 0 other packages02 Apr 2024
-
A library for interacting with teletype and terminal emulators0.0.2MITUsed by 2 other packages21 Dec 2023
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021