A generic goal preprocessing tool for proof automation tactics in Coq
Repository Index
47,133 repositories indexed
3,577–3,600 of 3,896 · Most stars
Tool for executing transactions on the Ripple network
A screenshotting tool for thinking clearly
Generate conventional commit messages using AI, directly in Neovim
- ai
- conventional-commits
- developer-tools
- git
Split large SQL dump files into individual table files. Fast, memory-efficient, multi-dialect.
a web-based software tool developed for the visualization, analysis, and reporting of regional and statewide transit networks in the state of Oregon
Algo Vanity is a web-based tool for generating Algorand vanity addresses.
The repository host gives no description.
- actionscript
- augmented-reality
- flash
AI-Driven Full-Text Screening and Data Extraction for Systematic Reviews and Evidence Synthesis
- academic-research
- ai-assistant
- ai-tool
- data-extraction
d3.js-based tool to visualize network communication for arbitrary protocols
Super simple tool to help with orchestration of commands on the CLI by waiting on networking resources.
- go
Claude Code dashboard: see where your limits are headed before you hit them. Calibrated usage forecasts, live rate-limit gauges, session costs, memory browser. Single binary, zero config, plus a VS Code extension.
Localization tool for play framework
Generate realistic IoT test data and send it via MQTT, HTTP, or TCP.
- cli
- data
- data-generation
- data-generator
Simple build-time controlled debug log with ability to log where the logger was called
- dlog
- log
- golang
- compile-time-enabling
Not just a UI plugin — manage the cognitive load of your own Neovim setup
- developer-tools
- keybindings
- lua
- menu
A collection of tools for Golang
micro HTTP toolkit for MicroPython and CircuitPython
Texture tool for graphics programmers
JSONTools is an ActionScript3 library that goes beyond providing a decoding and encoding engine. JSONTools provides JSON errors on bad property calls, the speed of the JSWoof JSON library, and E4X style queries dubbed E4J, JSONList and JSONListCollection classes for Flex, as well as some features that are coming in upcoming releases.
It falls out of your notch. Hotkey, repo, Return: your terminal opens with Claude Code, Codex or any agent already running. Free, MIT, local-only macOS.
Automagically generate Karate API tests from your GraphQL schemas. Useful for test-driven development, change validation in CI/CD, and more.
- graphql
- graphql-schema
- graphql-server
- karate
Crystal bindings for libxdo (xdotool)
- crystal
- libxdo
- x11
v language tools for vim
- v
- vlang
- vim
- vim-plugins