Irmin Files

Irmin is a distributed database

This is an exact mirror of the Irmin project, hosted at https://github.com/mirage/irmin. SourceForge is not affiliated with Irmin. For more information, see the SourceForge Open Source Mirror Directory.

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
irmin-3.9.0.tbz	2023-10-05	4.7 MB	0
3.9.0.tar.gz	2023-10-05	4.7 MB	0
3.9.0.zip	2023-10-05	5.1 MB	0
README.md	2023-10-05	957 Bytes	0
Totals: 4 Items		14.4 MB	0

CHANGES:

Added

irmin-server
Added irmin-server package (#2031, @zshipko)
irmin-client
Added irmin-client package to connect to irmin-server instances (#2031, @zshipko)
irmin
Add pretty printers for Commit, Tree, Info, Status, Branch when using utop (@metanivek, #1839)

Fixed

irmin-pack
Fix index integrity check for v3 stores (#2267, @metanivek)

Removed

irmin-http
Removed irmin-http since it is not compatible with generic keys. irmin-grapqhl or irmin-server should be used instead. (#1902, @zshipko)
irmin
Removed stream proofs. We now only have Merkle tree proofs. This simplifies the maintenance of that part of the code, as ensuring the correct order of cached IO operations was tricky for stream proofs (#2275, @samoht)

Changed

irmin-git
Moved lower bounds to git.3.14.0 to use new function (#2277, @metanivek)

Source: README.md, updated 2023-10-05

You Might Also Like

Gen AI apps are built with MongoDB Atlas Icon

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

The All-in-One Commerce Platform for Businesses - Shopify Icon

The All-in-One Commerce Platform for Businesses - Shopify

Shopify offers plans for anyone that wants to sell products online and build an ecommerce store, small to mid-sized businesses as well as enterprise

Shopify is a leading all-in-one commerce platform that enables businesses to start, build, and grow their online and physical stores. It offers tools to create customized websites, manage inventory, process payments, and sell across multiple channels including online, in-person, wholesale, and global markets. The platform includes integrated marketing tools, analytics, and customer engagement features to help merchants reach and retain customers. Shopify supports thousands of third-party apps and offers developer-friendly APIs for custom solutions. With world-class checkout technology, Shopify powers over 150 million high-intent shoppers worldwide. Its reliable, scalable infrastructure ensures fast performance and seamless operations at any business size.

Learn More

Recommended Projects

Go Micro
Go Micro is a framework for distributed systems development. Go Micro provides the core requirements for distributed systems development including RPC and Event driven communication. The Micro philosophy is sane defaults with a pluggable architecture. We provide defaults to get you started...
Git Town
Git Town adds Git commands that make software development more efficient by keeping Git branches better in sync with each other. This reduces merge conflicts and the number of Git commands you need to run. Git is a flexible source code management system. The Git CLI (correctly) supports all...
DoltgreSQL
DoltgreSQL is an experimental Postgres fork that adds Git-like version control to your database. It allows users to commit, branch, merge, and revert changes to data and schema, bringing collaborative workflows to SQL databases. DoltgreSQL is designed for teams who want full auditability and...
DataKit
Connect processes into powerful data pipelines with a simple git-like filesystem interface. DataKit is a tool to orchestrate applications using a Git-like dataflow. It revisits the UNIX pipeline concept, with a modern twist: streams of tree-structured data instead of raw text. DataKit allows you...
bit CLI
bit is an experimental modernized git CLI built on top of git that provides happy defaults and other niceties. Command and flag suggestions to help you navigate the plethora of options git provides you. Autocompletion for files and branch names when using bit add or bit checkout. Automatic fetch...