FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
Dolt β Git for Data
π§ Valtio makes proxy-state simple for React and Vanilla
vΚvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
Java annotation processor to create immutable objects and builders, for records too. Sweep boilerplate code under the rug!
TerminusDB is a Knowledge Graph Database with Version Control. Time-travel, reason, collaborate, branch, merge, diff, and query your data with Datalog.
Eclipse Collections is a collections framework for Java with optimized data structures and a rich, functional and fluent API.
Immutable persistent data collections for Javascript which increase efficiency and simplicity.
Create the next immutable state by mutating the current one
immudb - immutable database based on zero trust, SQL/Key-Value/Document model, tamperproof, data change history
A toolkit for building secure, portable and lean operating systems for containers
C# pure functional programming framework - come and get declarative!
Create, calculate, and format money in JavaScript and TypeScript
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
π€ A functional, immutable Finite State Machine library
Code generation for immutable classes that has a simple syntax/API without compromising on the features.
Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style
Efficient immutable updates, about 3-6x faster than Immer.
The immutable Linux meta-distribution for edge Kubernetes.
Rust persistent data structures
The most advanced ORM of JVM, for both java & kotlin
:clock2: Immutable date and time library for javascript
Immutable persistent collections for Kotlin
A standalone DateTime library originally based off of Carbon
An awesome curated knowledge-base about atomic systems
SirixDB is an an embeddable, bitemporal, append-only database system and event store, storing immutable lightweight snapshots. It keeps the full history of each resource. Every commit stores a space-efficient snapshot through structural sharing. It is log-structured and never overwrites data. SirixDB uses a novel page-level versioning approach.
Immutable Linux OS to run Incus
Immutable in-memory R-tree and R*-tree implementations in Java with reactive api
An immutable radix tree implementation in Golang
Teaching tool and debugging aid in context of references, mutable data types, and shallow and deep copy.
True Object-Oriented Java Web Framework without NULLs, Static Methods, Annotations, and Mutable Objects
Chess API written in scala. Immutable and free of side effects.
The TypeScript framework for building composable actors around an immutable event log.
Build packages, go/Rust projects, and OS images with Buck2
Multiengine music tracker for your handheld console and your phone. Choo choo!
SILO: an immutable version-control ledger layered over S3-compatible object storage
Universal, evidence-native double-entry accounting system of record in Rust on FrankenGraphDB: bitemporal, append-only with first-class restatements, exact money algebra, counterfactual branches, in-database forensic analytics, outsider-verifiable proofs, and an agent-first CLI/MCP surface for CPAs, regulators, litigators, and investigators.
A composable, cross-platform MVVM framework for .NET inspired by functional reactive programming. It moves mutable state out of the user interface, keeps each feature's logic in one readable place, and makes applications easier to test. Supports WPF, WinForms, WinUI, .NET MAUI, Avalonia, Uno Platform, Blazor and Android.
:sailboat: The immutable, decentralized, statically built p2p VPN without any central server and automatic discovery! Create decentralized introspectable tunnels over p2p with shared tokens