8 repository-uri
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 is a command line editor for PowerShell that provides advanced line editing and command history management. It functions as a suite of tools for enhancing the interactive shell experience through a Bash-inspired implementation of editing, completion, mapping, synchronization, and highlighting. The project includes an interactive completion engine for navigating suggestions via a menu system and a keyboard mapping tool for assigning shortcuts to custom actions. It also features a session history synchronizer that automatically saves and shares command history across multiple active
Maintains an internal representation of the input line to support undo, redo, and multi-line editing.
Recorderjs este o bibliotecă de înregistrare Web Audio API și un instrument de captură buffer utilizat pentru a capta output-ul audio în timp real de la nodurile de procesare. Funcționează ca un utilitar de captură audio client-side care înregistrează sunetul direct în browserul web. Proiectul oferă un exportator de fișiere WAV care convertește bufferele audio capturate în obiecte binare descărcabile. Acest lucru permite salvarea datelor audio ca fișiere standard Waveform Audio File Format pentru stocare locală sau redare. Biblioteca gestionează fluxurile audio folosind array-uri de tip floating-point pentru a menține fidelitatea datelor și suportă exportul de buffere stereo brute. Gestionează intercalarea probelor audio multi-canal și generarea headerelor binare structurate necesare pentru fișierele WAV.
Implements mechanisms to redirect Web Audio API node output into custom buffers for real-time recording.