Local code search combining BM25, vector similarity, and cross-encoder reranking. Parses 60+ languages with tree-sitter, runs entirely offline, and returns structured results with file paths, line ranges, and symbol metadata. Built in Rust.
☆116Sep 30, 2026Updated last week
Alternatives and similar repositories for vera
Users that are interested in vera are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VellumForge2 is a Golang CLI for generating high-quality Direct Preference Optimization datasets via a hierarchical prompt pipeline with …☆22Feb 15, 2026Updated 7 months ago
- Protocol for Augmented Memory of Project Artifacts (MCP compatible) - extended☆23Jan 24, 2026Updated 8 months ago
- Strict Red-Green-Refactor CLI gate for coding agents☆24May 28, 2026Updated 4 months ago
- Pi extension that adds a run_live_terminal tool and a live tmux widget inside Pi.☆38Aug 30, 2026Updated last month
- Local-first MCP server giving AI coding agents fast, structured, and semantic context over any codebase. Zero config, zero cloud, full co…☆20Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Explore solana accounts via an interconnected graph interface☆15Jul 7, 2026Updated 3 months ago
- A lightweight, secure AI agent harness for your entire development lifecycle, fully written in Rust☆17Mar 3, 2026Updated 7 months ago
- ☆16Mar 5, 2026Updated 7 months ago
- Your AI colleague, in the apps you already use.☆14Updated this week
- Persistent project context for AI coding agents using linked markdown plans with relationship tracking and hybrid search.☆17Sep 11, 2026Updated last month
- DeepSeek-V4-Flash-DSpark abliterated (uncensored) · ~100% refusal bypass · C1 ~57 tok/s · 1M ctx · 2× DGX Spark · HF weights☆50Aug 17, 2026Updated last month
- AI agent sandbox prison runtime with a local-first desktop app + CLI. Chat with any model (Claude, OpenAI, Groq, Ollama, LM Studio); ever…☆18Sep 30, 2026Updated last week
- The Private Agent OS — search files, run AI agents, connect to 10,000+ tools via the complete protocol stack (MCP, AG-UI, A2UI, A2A). Zer…☆37Oct 1, 2026Updated last week
- Task queue and terminal multiplexer for AI coding agents. Queue tasks, dispatch to Claude/Codex/OpenCode, approve actions from one inbox.☆21Feb 5, 2026Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Generate Duolingo-style quiz courses from PDFs with spaced repetition, adaptive difficulty, and tutor chat.☆18Apr 6, 2026Updated 6 months ago
- Claude Code conversation history☆24Jul 31, 2025Updated last year
- Neura lets you run long, tool heavy coding sessions without blowing up token costs by compressing old context into references and only re…☆20Jul 11, 2026Updated 3 months ago
- A fast, memory-efficient exact MaxSim kernel for late-interaction retrieval and reranking.☆28May 27, 2026Updated 4 months ago
- ☆28Apr 25, 2026Updated 5 months ago
- Local browser agent: MLX + Chrome DevTools Protocol. Handles cross-origin iframes, Shadow DOM, ProseMirror. Runs on Apple Silicon, no clo…☆29Sep 27, 2026Updated 2 weeks ago
- PyTorch-equivalent deep learning framework in pure Rust — 22 crates, CUDA GPU, vision, LLMs, ONNX, autograd, distributed training☆31Sep 26, 2026Updated 2 weeks ago
- The SAM (State-Action-Model) pattern in Swift☆16Nov 8, 2017Updated 8 years ago
- Permissionless infrastructure for agents. No human intervention required.☆45Mar 7, 2026Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Unified AI usage/limit viewer: ZAI / Claude / Codex / Ollama Cloud. Chromium extension + local dashboard. Cookie-based zero-config auth.☆18Jul 31, 2026Updated 2 months ago
- Exfiltrate data from a compromised target using covert channels☆17Mar 20, 2021Updated 5 years ago
- DGX Spark research and tests - containers, benchmarks, and investigation notes for running models on GB10 (SM 12.1)☆28Aug 6, 2026Updated 2 months ago
- ☆29Jun 18, 2025Updated last year
- ☆46Updated this week
- OpenCode plugin for structured AI workflow orchestration☆62Jun 5, 2026Updated 4 months ago
- Simple Scala template with cross-version and multi-target compilation☆12Jun 16, 2023Updated 3 years ago
- Embeddable vector search in Rust: metadata filtering, persistence, and optional Python/WASM interfaces. Alpha.☆17Sep 10, 2026Updated last month
- Free, open-source AI dictation for Windows & macOS & Linux. Hold a hotkey, speak, and cleaned-up text appears in any app - BYOK or local …☆18Updated this week
- 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.
- Give your agent a proper IDE and OS. The sensorimotor cortex for coding agents (OpenCode + Pi), part of CortexKit: symbol-aware edits, se…☆321Updated this week
- MiniLM (BERT) embeddings from scratch☆22Aug 14, 2025Updated last year
- Workflow transpilation and execution framework - import LangChain, Airflow, GitHub Actions, Kubernetes, Docker Compose☆25Aug 26, 2026Updated last month
- Simple to use Property Library that allows multiple profiles to be configured and used with ease. This mimics the behavior of profiles fr…☆10Dec 15, 2023Updated 2 years ago
- Ell + Ollama = ❤️ ❤️ ❤️ Local Llama Hacking☆87Sep 30, 2024Updated 2 years ago
- Enzim Coder is a Linux desktop app for working with AI coding threads, workspaces, Git context, file browsing, and agent sessions in one …☆64Mar 26, 2026Updated 6 months ago
- SuperHTML support for zed☆13Jun 7, 2026Updated 4 months ago