Semantic project navigation
☆180Mar 29, 2026Updated 2 months ago
Alternatives and similar repositories for semantic-navigator
Users that are interested in semantic-navigator are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An ultimately minimal persistent key-value store + LRU cache☆13Oct 19, 2015Updated 10 years ago
- ☆11Mar 11, 2025Updated last year
- Instrument Claude Code to track actual token usage and cost☆25Aug 18, 2025Updated 9 months ago
- olive-cli: a minimal llm-based operating system for engineers packaged as a terminal app.☆20Jun 13, 2025Updated last year
- Universal LLM security auditor with automated jailbreak testing, DSPy optimization, and OWASP 2025-aligned attack patterns☆21Oct 23, 2025Updated 7 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.
- ☆16Oct 13, 2024Updated last year
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Generates UIColor and NSColor from given string.☆12Jul 19, 2018Updated 7 years ago
- UI toolkit to ease BoxyHQ integration☆18Jun 4, 2026Updated last week
- ☆285Jun 5, 2026Updated last week
- JavaScript Runtime built with Mozilla's SpiderMonkey Engine☆14Nov 4, 2024Updated last year
- 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.
- Multi Generative AI agents for customer support email automation built with Golang, Google-GenAi and Customgraph solution☆24Jul 9, 2025Updated 11 months ago
- Generate and animate blob shapes using SwiftUI.☆10Apr 23, 2026Updated last month
- PostgreSQL BM25S extension☆140May 14, 2026Updated last month
- Built with Nuxt 3 + Tailwind CSS + Supabase☆10Jul 20, 2023Updated 2 years ago
- Aim to be a fullstack MVC framework for Go lang☆14Aug 19, 2011Updated 14 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- ☆45Jan 10, 2026Updated 5 months ago
- ☆16Feb 24, 2025Updated last year
- Create a 🧈 smooth transition between any two SwiftUI Views.☆14Mar 2, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Ship energy usage data & UPS stats from Network-UPS-Tools to InfluxDB/MQTT☆11Apr 6, 2026Updated 2 months ago
- A quick glimpse in the Swedish government's remisser☆15Apr 25, 2024Updated 2 years ago
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 11 months ago
- A PHP library for writing, reading, and validating llms.txt Markdown files.☆25Jun 1, 2026Updated 2 weeks ago
- A collaborative bibliography of papers related to property-based testing☆21May 29, 2026Updated 2 weeks ago
- Clojure client for Open Policy Agent☆13Dec 12, 2025Updated 6 months ago
- A comprehensive suite of practical extensions to the SwiftUI standard library.☆14Nov 14, 2021Updated 4 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- GraphRag vs Embeddings☆16Jul 14, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Tradingview Realtime data capture using streamlit☆13Aug 8, 2022Updated 3 years ago
- An experimental Bluesky client written with Vue3 and Nuxt☆11Jan 25, 2026Updated 4 months ago
- A2A MCP Server is a lightweight Python bridge that lets Claude Desktop or any MCP client talk to A2A agents. It provides three tools: reg…☆21May 4, 2025Updated last year
- ☆11Nov 10, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated last month
- Modern, type-safe, zero-dependency Python library for serial port I/O access☆23Dec 16, 2025Updated 5 months ago
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago