Prolly is a content-addressed ordered map built on prolly trees. It gives applications immutable snapshots, cheap branching, structural sharing, efficient diffs and merges, sync primitives, and verifiable key/range proofs.
☆113Sep 13, 2026Updated last month
Alternatives and similar repositories for prolly
Users that are interested in prolly 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 statistical computing toolkit for DuckDB.☆60Updated this week
- Native, local-first knowledge graph engine for code and project artifacts—inspired by Graphify, built in Rust, and evolving beyond it.☆173Oct 3, 2026Updated 2 weeks ago
- A very WIP tool for jev-ification☆40Oct 8, 2026Updated last week
- A fast, simple, and embedded key-value store for Rust.☆276Aug 29, 2026Updated last month
- A terminal recoder powered by libghostty and rust.☆40Sep 14, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- People and organisations pool their own machines over Yggdrasil to keep files, websites, email for their own domains and messaging for al…☆40Updated this week
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆281Updated this week
- Live Migration, Snapshot/Restore for WebAssembly.☆48Oct 8, 2026Updated last week
- Train a tiny GPT in under a minute (CUDA only)☆56Updated this week
- Experimental: benchmark CLIs and track performance over time. Do not use.☆44Updated this week
- Run a command once, reuse its output for a while.☆179Oct 8, 2026Updated last week
- Declarative terminal UI library for Lua☆57Updated this week
- Turn a Big Mouth Billy Bass into a real-time voice assistant powered by Strands BidiAgent + Amazon Nova 2 Sonic on a Raspberry Pi 5☆90Oct 6, 2026Updated last week
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 5 months 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.
- ☆16Mar 10, 2023Updated 3 years ago
- Interactive HTML knowledge map from a folder of Markdown notes (Obsidian/gbrain) — themed force graph + growth timeline. Ships a prebuilt…☆73Jun 13, 2026Updated 4 months ago
- Universal utilities for working with graphs☆248Updated this week
- Proves your PostgreSQL and MySQL backups actually restore, before you find out the hard way.☆113Sep 8, 2026Updated last month
- An experimental pattern-first DAW☆85Updated this week
- A self-hosted drop-in replacement for TypeSafe's jev, powered by GliFormer.☆303Sep 20, 2026Updated 3 weeks ago
- Typed python equivalent for R pipes.☆14Oct 16, 2022Updated 4 years ago
- A transactional outbox for Go applications which use pgx.☆49Sep 30, 2026Updated 2 weeks ago
- Keep Python on your laptop. Run PyTorch operations and hold tensors on a remote GPU, including from a Mac with no CUDA installation.☆77Updated 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.
- Jeeves – Reasoning improves Jev-like decision models☆425Updated this week
- Rebalancer is a domain-specific language and tool for specifying and solving assignment problems (eg, putting balls in boxes with complex…☆462Updated this week
- A non-production Postgres text-search extension for exercising TIN-compatible application SQL in development, test, CI, and staging envir…☆160Oct 8, 2026Updated last week
- A canvas design tool your agent can edit. Arrange structured UI nodes on the canvas; connect Claude, Codex, Cursor, or opencode over MCP☆141Sep 27, 2026Updated 2 weeks ago
- Convert openapi spec to markdown file☆17Feb 27, 2025Updated last year
- Bounded TypeSafe Jev workflows for coding agents.☆117Sep 19, 2026Updated 3 weeks ago
- Trace mining for post-training. Filter trajectories, draft verifiers, export SFT and RL data.☆133Updated this week
- Seamless GitHub PR management from the command-line☆175Sep 28, 2026Updated 2 weeks ago
- A SwiftUI-lean GPUI component library, style flows through the environment, never through parameters.☆180Updated this week
- 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.
- The release platform for client apps, full loop: draft-first releases, staged rollouts, share pages, in-app updates, feedback & crash tic…☆56Updated this week
- Effect-native x402☆45Sep 23, 2026Updated 3 weeks ago
- Triad is a TypeScript/Node.js framework where API specification, implementation, validation, and testing are a single source of truth.☆24Apr 16, 2026Updated 6 months ago
- A Python package for calculating reference evapotranspiration☆14Oct 5, 2026Updated last week
- Sql Joiner - Graphical SQL builder and debugger☆58Updated this week
- Lightweight Rust LSP optimized for low memory usage☆703Updated this week
- Sniff out the right record: Jev-powered search for Rails with index-time labels, query understanding, and streamed reranking on top of yo…☆52Oct 2, 2026Updated 2 weeks ago