Horusiath/crdt-examples
An example implementations of various CRDTs
Software engineer. Functional and distributed programming enthusiast.
An example implementations of various CRDTs
A reimplementation of Yjs/Yrs CRDT library with persistent storage in mind
Experimental F# typed API for Akka.NET
Prefixed Entry Object Notation
Main engine of the IronCalc ecosystem
WebRTC network connector for Yjs/Yrs update gossips
Rust macro library for building strongly typed Conflict-free Replicated Data Types
This is proof of concept for Conflict-free Replicated Data Type representing 2-dimensional table
Postgres extension for conflict-free distributed programming utilities written in Rust
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Vibe-coded C# SQL database
Persistent document store for offline first applications.
Demo of Redis/S3 powered scalable Yrs web socket backend
Collection of interesting materials about distributed systems and other CS domains
Conflict-free Last-Write-Wins map with BitCask-based on-disk representation
Using yrs to manage table data
C#/.NET Binding for FoundationDB Client API
Various demos for Akka.NET
Port of Akka actors for .NET
Bring projects, wikis, and teams together with AI. AppFlowy is the AI collaborative workspace where you achieve more without losing control of your data. The leading open source Notion alternative.
F# implementation of MVCC transaction model
Wrapper around webrtc-rs library, focused on developer experience
Example of gRPC C# library with custom serializer
Byzantine Eventual Consistency in Go
Proof of concept demo for making non-deterministic functions deterministic through WASM
Simple Binary Encoding (SBE) - High Performance Message Codec
Purely-functional, type-safe library for building distributed systems
Port of JVM eventuate: https://rbmhtechnology.github.io/eventuate/
A set of utilities, that you always wanted to have in F#.
Limbo is a work-in-progress, in-process OLTP database management system, compatible with SQLite.