Terminal-native AI coding assistant for real repositories. Inspect code, edit files, run tests, and verify changes from the CLI.
☆178Nov 11, 2026Updated this week
Alternatives and similar repositories for agav
Users that are interested in agav are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PostgreSQL extension for pgexporter☆15Jun 19, 2026Updated 4 months ago
- ☆12Jun 25, 2026Updated 4 months ago
- ☆14Nov 2, 2026Updated last week
- BitPolar: near-optimal vector quantization — 3-8 bit compression with zero training. 58 integrations across every major AI framework.☆20Jul 14, 2026Updated 3 months ago
- Bottom-up population model tutorial☆11May 17, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cosmalia: a modern minimal Linux desktop (<1 GB RAM) built on cosmic-comp-traffic and Noctalia☆18Updated this week
- Reproduce "Geofaceting -- align small-multiples for regions in a spatially meaningful way"☆13Jan 22, 2025Updated last year
- An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs usin…☆22May 30, 2025Updated last year
- A Rust-based Unix shell that aims for POSIX compliance and useful quality-of-life features☆19Jan 18, 2026Updated 9 months ago
- Google Earth Engine Mastery: From Basics to Real-World Applications (20 Days) Target Audience: Students, researchers, GIS professionals, …☆22Oct 30, 2026Updated last week
- An OCR application focused on machine-print Tibetan text.☆18Jun 29, 2018Updated 8 years ago
- Senior Architect Agent: AI architecture skill for existing system mapping, software architecture documentation, Mermaid diagrams, and AI …☆24Jul 20, 2026Updated 3 months ago
- R package for scalable Bayesian disease mapping models for high-dimensional data☆18Oct 6, 2026Updated last month
- Resources for becoming a coder☆11Feb 9, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A from-scratch GNU Bash 5.3.x-compatible shell engine in Rust — embeddable, byte-level compatibility measured against GNU's own 83-suite …☆20Updated this week
- Easy access to unsaved files for vscode.☆13Jul 10, 2025Updated last year
- Formalized AI guardrails for financial agents that replace probabilistic filters with Lean 4 mathematical proofs, ensuring only provably …☆15Apr 23, 2026Updated 6 months ago
- A multi-vendor GPU monitor for the terminal — NVIDIA and AMD — built on SharpConsoleUI.☆15Oct 24, 2026Updated 2 weeks ago
- ☆10Oct 7, 2026Updated last month
- epson l3110 resetter☆18Jun 1, 2024Updated 2 years ago
- Compare population age structures of Europe NUTS-3 regions and the US counties using ternary colour-coding☆15Aug 13, 2024Updated 2 years ago
- LeetCode in your terminal☆13Jul 16, 2026Updated 3 months ago
- Agent workflow observability in your terminal. Run prompts through neo and watch cost, model choices and anomalies as they happen.☆14Jun 2, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple 3d modelling app in the terminal☆16Jun 18, 2026Updated 4 months ago
- Install, update and remove AppImages as proper desktop applications☆18Oct 5, 2026Updated last month
- 将设计、前端实现、代码探索、评审及媒体分析交给本地命令行 Agent，支持持续会话。☆25Sep 10, 2026Updated 2 months ago
- Local-first engineering memory and large-scale polyglot graph search for Codex, Claude, Cursor, Copilot, and the next agent you try.☆29Updated this week
- Sample iOS app.☆15Sep 22, 2023Updated 3 years ago
- A package for your Linux environments on Android (Termux, proot distros, Flatpak) that allows you to launch and export linux gui applicat…☆24Updated this week
- Reproduce "Decomposition of regional convergence in population aging across Europe. Genus, 73(1), 2"☆18Sep 23, 2018Updated 8 years ago
- Self hostable, agentic email inbox. Built on top of docker mailserver.☆19Apr 8, 2026Updated 7 months ago
- A fast and visually appealing Pacman wrapper inspired by Powerpill and Nala.☆15Sep 9, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Web SSH Client using ssh2, socket.io, xterm.js, and express. webssh webssh2☆13Oct 23, 2019Updated 7 years ago
- Acode linter plugin.☆18Mar 2, 2024Updated 2 years ago
- code2vec for Python 3 made for NL2ML project☆18Mar 25, 2023Updated 3 years ago
- A webapp to find similar gif names with the gifs/images☆16Nov 23, 2025Updated 11 months ago
- ☆12Mar 25, 2024Updated 2 years ago
- ☆15Mar 21, 2026Updated 7 months ago
- Telegram capture workflow and sync doctor bundle for Hermes + Obsidian.☆20Jun 21, 2026Updated 4 months ago
Are these results useful?