The invalidation layer for AI memory. Every fact gets a lease; new evidence ends it. Built on TypeSafe Jev.
☆23Sep 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for invalidate
Users that are interested in invalidate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Semantic diff layer for code review☆29Oct 2, 2026Updated 2 weeks ago
- Open files and links already visible on your terminal screen in a split.☆67Updated this week
- Go framework for running OCI images as microVMs with libkrun☆30Oct 12, 2026Updated last week
- A book about datalog☆13Nov 26, 2022Updated 3 years ago
- ☆10Jan 2, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Web-based emulator and operating environment for the IBM 1620 Model-2 computer system.☆20Oct 6, 2026Updated last week
- ☆14Jun 15, 2026Updated 4 months ago
- Pair git worktrees with tmux sessions. Jump between workspaces instantly.☆13Dec 26, 2025Updated 9 months ago
- Sawyer Hood's BB plugins: Cascade, Compact Nav, CoW copy, Miku Companion, SlopCop, and T3 Sidebar in one repository☆20Oct 3, 2026Updated 2 weeks ago
- Sesh-style workspace picker TUI for Herdr. Integrates with zoxide to create workspaces from commonly used directories.☆48Updated this week
- Community use cases for book-to-skill — one line here, the full account in the author's own Gist. No generated skills, no book content.☆18Sep 15, 2026Updated last month
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- ☆13Feb 21, 2026Updated 7 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.
- Open-source, self-hosted platform for running a team of AI bots that use tools, keep long-term memory, and hand work to each other.☆30Updated this week
- An opinionated, personal ADE that supports remote backends, agent tools exposed over a control plane and scriptable notification hooks in…☆15Updated this week
- PSD, the Portable Scheme Debugger☆15Aug 26, 2022Updated 4 years ago
- Live server-rendered interfaces for Common Lisp☆25Jul 10, 2026Updated 3 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- ☆63Sep 12, 2026Updated last month
- FindMy firmware for the Telink 825x MCU☆14Dec 3, 2024Updated last year
- Local-first desktop workspace for AI agents: browser, terminal, memory, plugins, runtimes, and durable loops.☆26Oct 12, 2026Updated last week
- Fix broken dev servers instantly. A fast Rust CLI for port conflicts, zombie processes, and dev server recovery.☆15Apr 8, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Pre-alpha PostgreSQL extension for TypeSafe AI (Jev) categorical classification☆88Sep 24, 2026Updated 3 weeks ago
- sort by meaning: order lines along a plain-English dimension, from pairwise comparisons judged by TypeSafe's Jev model☆27Oct 2, 2026Updated 2 weeks ago
- ☆17Jan 31, 2023Updated 3 years ago
- Scudo useful files☆10Jul 3, 2022Updated 4 years ago
- ☆26Jul 10, 2025Updated last year
- A mutation testing tool designed to work with large C++ (and C) codebases.☆15Oct 8, 2026Updated last week
- copied from http://readable.sourceforge.net☆11Mar 13, 2016Updated 10 years ago
- Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution☆11Jun 12, 2024Updated 2 years ago
- mit-cml home pages repository☆12Jul 29, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jul 14, 2025Updated last year
- a tool like just and entr. A minimal cross-platform, config-driven tool for running commands whenever files change☆15Sep 2, 2026Updated last month
- Cramium Test SoC☆14Jul 25, 2025Updated last year
- Umbrella for the LLM Dark Patterns Hooks suite — single-purpose Claude Code Stop hooks that suppress sycophancy, paternalism, false-succe…☆22Jul 26, 2026Updated 2 months ago
- PDF Analyzer and Render Comparer☆11Sep 14, 2026Updated last month
- open source driving agent☆15Sep 4, 2024Updated 2 years ago
- This app allows you to explore a dataset by asking questions about it.☆11Nov 16, 2023Updated 2 years ago