8 dépôts
In-memory buffers used to decouple user input state from terminal rendering logic.
Distinct from Buffer-Based Storage: Distinct from Buffer-Based Storage: focuses on tracking interactive input state for UI logic rather than staging file I/O for persistence.
Explore 8 awesome GitHub repositories matching development tools & productivity · Input State Buffers. Refine with filters or upvote what's useful.
This project is a Python terminal user interface library and toolkit designed for building interactive command-line applications. It provides a terminal input manager and a widget toolkit for rendering dashboards, menus, and editors within a terminal emulator. The library enables the creation of full-screen terminal interfaces and interactive shells. It distinguishes itself with advanced input handling, including lexer-based syntax highlighting for visual feedback on code structure and support for industry-standard keyboard navigation modes such as Emacs and Vi. The capability surface covers
Provides independent text buffers to track input state separately from the terminal display logic.
Up is an interactive shell pipeline tool and Linux pipeline builder designed for prototyping text-processing sequences. It provides a terminal user interface for constructing chains of shell commands while displaying real-time data transformations. The tool allows for the iterative development of command sequences with an instant live preview of processing results. Once a sequence is finalized, it functions as a shell script generator that exports the completed pipeline into a reusable script file. The workspace includes capabilities for terminal data exploration and text processing workflow
Provides an input buffer to capture data streams for iterative processing and manual EOF signaling.
OpenScreen is screen recording and editing software used to capture screen video and audio with an integrated timeline for trimming, cropping, and playback adjustments. It functions as a comprehensive system for recording, annotating, and exporting audio-visual content. The project includes a dynamic zoom editor for applying manual or cursor-following zooms with adjustable depth and easing. It features a local caption generator that uses on-device transcription to create voiceover captions without uploading data to external servers. Additional specialized tools allow for the integration of we
Implements buffers to capture raw screen and audio streams for subsequent encoding.
language-ext is a functional programming framework for C# that provides a suite of immutable data structures and monadic types. It enables the implementation of pure functional programming patterns, utilizing containers to manage side effects, optional values, and error handling. The library is distinguished by its advanced concurrency and state management tools, including a software transactional memory system and lock-free atomic references. It also provides specialized utilities for distributed systems, such as vector clocks for causality tracking and deterministic data conflict resolution
Buffers incoming values for later consumption and supports transformations via contravariant mapping.
30dayMakeOS is an educational hobby operating system project designed for the x86 architecture. It implements a monolithic kernel and a custom bootloader that transitions the CPU from real mode to 32-bit protected mode to enable flat memory addressing. The project focuses on low-level system development, featuring a custom graphics driver for direct pixel-buffer rendering and window management without an existing operating system. It includes an x86 bootloader that loads the kernel from disk into memory. The system covers core kernel capabilities including round-robin task scheduling for pro
Uses a FIFO buffer to decouple hardware interrupt data from the system's processing handlers.
Zed is a terminal-based code editor built in Rust that provides a full-featured editing experience with familiar keybindings, mouse support, and multiple cursors. It runs entirely in the terminal while offering capabilities typically found in graphical editors, including split panes, a command palette, and integrated language server protocol support for real-time diagnostics, completions, go-to-definition, and code actions across multiple languages. The editor distinguishes itself through a plugin system that runs sandboxed TypeScript plugins in a QuickJS runtime, with an asynchronous bridge
Retrieves buffer metadata like file path, modification status, and syntax highlights for plugin logic.
PSReadLine est un éditeur de ligne de commande pour PowerShell qui offre une édition de ligne avancée et une gestion de l'historique des commandes. Il fonctionne comme une suite d'outils pour améliorer l'expérience du shell interactif grâce à une implémentation inspirée de Bash pour l'édition, la complétion, le mappage, la synchronisation et la coloration syntaxique. Le projet inclut un moteur de complétion interactif pour naviguer dans les suggestions via un système de menu et un outil de mappage clavier pour assigner des raccourcis à des actions personnalisées. Il dispose également d'un synchroniseur d'historique de session qui enregistre et partage automatiquement l'historique des commandes entre plusieurs sessions de terminal actives, ainsi qu'un colorateur syntaxique qui applique des couleurs au texte de la ligne de commande en fonction des modèles du langage. Le système couvre un large éventail d'améliorations de l'interface utilisateur, incluant l'édition multiligne, la recherche interactive dans l'historique et la navigation par curseur basée sur les jetons. Il gère également les tampons de texte pour prendre en charge les opérations d'annulation et de rétablissement (undo/redo) pour la manipulation du texte en ligne de commande.
Maintains an internal representation of the input line to support undo, redo, and multi-line editing.
Recorderjs est une bibliothèque d'enregistrement Web Audio API et un outil de capture de buffer utilisé pour capturer la sortie audio en temps réel à partir de nœuds de traitement. Il fonctionne comme un utilitaire de capture audio côté client qui enregistre le son directement dans un navigateur web. Le projet fournit un exportateur de fichiers WAV qui convertit les buffers audio capturés en objets binaires téléchargeables. Cela permet aux données audio d'être enregistrées sous forme de fichiers Waveform Audio File Format standard pour un stockage ou une lecture locale. La bibliothèque gère les flux audio en utilisant des tableaux à virgule flottante pour maintenir la fidélité des données et supporte l'exportation de buffers stéréo bruts. Elle gère l'entrelacement des échantillons audio multicanaux et la génération d'en-têtes binaires structurés requis pour les fichiers WAV.
Implements mechanisms to redirect Web Audio API node output into custom buffers for real-time recording.