☆32Oct 16, 2026Updated this week
Alternatives and similar repositories for LeanDB
Users that are interested in LeanDB are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Jev-powered resolver for agent harnesses to find deterministic commands and their context in a nested capability tree.☆19Sep 20, 2026Updated 3 weeks ago
- On device Firewall for Coding and Personal Agents☆1,605Sep 5, 2026Updated last month
- Benchmark coding agents and models on your own repository with private Harbor-formatted evals built from its merged pull requests.☆31Updated this week
- A knowledge map about Haskell powered by Obsidian.☆16Aug 28, 2022Updated 4 years ago
- Union mount in Haskell, with fsnotify☆12May 11, 2026Updated 5 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.
- Harness- and model-agnostic AI PR reviewer. Define multiple focused reviewers, run them locally or as a GitHub Action, and post real inli…☆60Oct 4, 2026Updated 2 weeks ago
- Self-hostable incident-investigation agents for Sentry, Datadog, and Slack.☆35Updated this week
- A noun representation in Rust☆11Mar 10, 2023Updated 3 years ago
- SQLite bindings for Lean☆53Updated this week
- Classify first. Read selectively. A portable agent plugin and MCP tool for batch text classification.☆48Sep 18, 2026Updated last month
- ☆12Oct 4, 2024Updated 2 years ago
- The KAIROS pattern, open and model-agnostic. Anthropic built it into Claude Code and never told anyone.☆16Apr 19, 2026Updated 5 months ago
- ☆12Dec 19, 2023Updated 2 years ago
- This is an HTML template for creating documentation for WordPress themes, for website templates, and for themes for any other CMS.☆10Aug 18, 2025Updated last year
- 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.
- Idiomatic F# support for CliWrap☆14Updated this week
- A reverse proxy for Urbit to utilize moons in support of a planet's or star's services.☆15Feb 24, 2023Updated 3 years ago
- The web interface for your urbit.☆15Mar 21, 2018Updated 8 years ago
- ☆11Dec 9, 2016Updated 9 years ago
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last week
- Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers☆29Jul 16, 2026Updated 3 months ago
- App launcher and home screen for your node☆15Jul 27, 2026Updated 2 months ago
- ☆15Jul 6, 2026Updated 3 months ago
- ☆119Oct 9, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆12Feb 4, 2024Updated 2 years ago
- HTTP proxy with per user download quotas☆10Feb 24, 2023Updated 3 years ago
- ☆17Aug 10, 2026Updated 2 months ago
- ☆16Nov 16, 2024Updated last year
- The iOS repository of Pera☆12Jun 16, 2026Updated 4 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- Achieve studio-quality zooms in OBS with a simple, script.☆18Nov 24, 2025Updated 10 months ago
- Lantern, by Elves. A Herdr plugin: the herd is in the field; Lantern illuminates who needs you and what they are working toward.☆68Updated this week
- Golang bindings for https://github.com/valeriansaliou/sonic☆23Dec 5, 2025Updated 10 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Zed extension using the Vale language server.☆20Apr 2, 2025Updated last year
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Dec 12, 2025Updated 10 months ago
- Fluent is a self-improving software factory. It autonomously turns your team's vision, ideas, bug reports, user feedback, production logs…☆121Oct 11, 2026Updated last week
- Transform JSON output from Senzing SDK for use with graph technologies, semantics, and downstream LLM integration☆21Aug 11, 2026Updated 2 months ago
- Use the Nix package manager as a library☆67Oct 5, 2026Updated last week
- A flake app to push & pin to cachix.☆32Nov 12, 2024Updated last year
- The Gödelian Toolkit: Systematically Testing Simple Languages☆17Aug 6, 2025Updated last year