AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
- ai-agents
- ai-code-review
- authorization
- bola
71,372 visible repositories in the index
1,297–1,320 of 1,332 · Most stars
AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.
Multi-terminal window manager.
Operate Neovim jobs from Lua coroutines
A local-first, Obsidian-compatible knowledge manager for the terminal
High-performance Unicode width calculation library for Go 1.25+. 3.9-46x faster than go-runewidth with zero allocations. Perfect for TUI frameworks and terminal applications.
Smart farming and smart agriculture solutions
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
Solitaire-like card game built with Backbone Marionette.
Search and replace functionality in Neovim.
Review GTFS stop pronunciations to determine which stops need a tts_stop_name value.
A cross-platform CLI for outputting text to terminal. Supports escape sequences
The repository host gives no description.
Augments your Cycle.js component (main function) by storing its onion-shaped state in local storage
Store,Version and Run jupyter notebook via ReST api
Display images within the terminal using the ITerm2 Inline Images Protocol.
A lightweight Neovim plugin for managing multiple terminal instances with key bindings.
A Flex 3 + ActionScript 3 web software to draw dynamic graphcs
A modular Linux telemetry engine built with eBPF, libbpf CO-RE, and Modern C++ that captures kernel-level process, file, syscall, and network events through a portable event-processing pipeline for decoding, enrichment, filtering, and structured output—forming the foundation for higher-level runtime intelligence.
change DNS servers effortlessly via terminal 🗽
harpoon style marks plugin
Mirage Fixtures > Factories for deterministic tests. This program reads your API endpoint and creates or appends response to relevant mirage fixture file(s).
A central repository for the Opentofu organization governance, processes, metadata, permissions, membership, etc.
CMake macro to determine the language of a header file
A D3 force plug-in for programmatically determining a set of vectors' angles and magnitudes