alpha
Login
or
Join now
gazagnaire.org
/
ocaml-console
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Terminal styling and layout widgets
Star
0
Fork
0
Atom
Configure Feed
Issues
Pull Requests
Commits
Tags
Feed URL
Select the types of activity you want to include in your feed.
Overview
Issues
Pulls
Pipelines
ocaml-console
/
lib
1 folder
37 files
at
main
Thomas Gazagnaire
console: reduce the rain glyph-hash multiplier mod 2^30 for 31-bit targets
6d ago
cd0f2d76
eio
console: eio Display delegates its verdict and fallback row to the core The adapter record collapses to { display; log_lines }: set_result is Console.Display.set_result on the underlying display, the untagged-logs fallback is Console.Display.default_row, and run finalises with a bare finish_all that renders the recorded verdict. The adapter no longer parks core-shaped UI state in mutable fields beside the widget tree that owns it. The public eio API and rendered output are unchanged; the existing eio display tests pin the banner and fallback routing.
1 week ago
anim.ml
console: reduce the rain glyph-hash multiplier mod 2^30 for 31-bit targets Same golden-ratio reduction (0x9e3779b1 -> 0x1e3779b1): bit-identical under the 30-bit mask, without the literal overflowing a 31-bit int.
6 days ago
anim.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
ansi.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
ansi.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
bar.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
bar.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
border.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
border.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
color.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
color.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
console.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
console.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
display.ml
console: the display records its verdict and owns the untagged-logs row Display.set_result stores the pending [OK]/[FAIL] verdict (and its detail paragraph) on the display itself; a bare finish_all renders the stored pair, and an explicit ~result still overrides it. default_row lazily creates and memoizes the shared "logs" row so destination-less log lines land in one window sized by its first caller. Both pieces of UI state previously lived as mutable fields in the eio adapter's record, updated by inline assignment next to the widget tree that should own them. Spec tests pin the rendered content: stored detail-then-banner order, last set_result wins, explicit finish_all result suppressing the stored pair, memoized row identity, and the log window under the logs label on a terminal.
1 week ago
display.mli
console: the display records its verdict and owns the untagged-logs row Display.set_result stores the pending [OK]/[FAIL] verdict (and its detail paragraph) on the display itself; a bare finish_all renders the stored pair, and an explicit ~result still overrides it. default_row lazily creates and memoizes the shared "logs" row so destination-less log lines land in one window sized by its first caller. Both pieces of UI state previously lived as mutable fields in the eio adapter's record, updated by inline assignment next to the widget tree that should own them. Spec tests pin the rendered content: stored detail-then-banner order, last set_result wins, explicit finish_all result suppressing the stored pair, memoized row identity, and the log window under the logs label on a terminal.
1 week ago
dune
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
input.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
input.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
layout.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
layout.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
panel.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
panel.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
rain.ml
console: reduce the rain glyph-hash multiplier mod 2^30 for 31-bit targets Same golden-ratio reduction (0x9e3779b1 -> 0x1e3779b1): bit-identical under the 30-bit mask, without the literal overflowing a 31-bit int.
6 days ago
rain.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
span.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
span.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
spinner.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
spinner.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
style.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
style.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
table.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
table.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
theme.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
theme.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
tree.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
tree.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
width.ml
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago
width.mli
console: rename nox-tty to console The nox- prefix existed only because the bare name tty is taken on central opam. console is free there and says what the library is: inline styled terminal output rather than a full-screen TUI. Rename the opam packages (nox-tty -> console, nox-tty-eio -> console-eio), the modules (Tty -> Console, Tty_eio -> Console_eio), the C stub namespace, the repository directory (ocaml-tty -> ocaml-console) and the bundled Claude skill, and update every in-tree consumer. The tangled repo must be renamed to ocaml-console to match before the next monopam push.
2 weeks ago