Sometimes you end up building something to solve your own problems and it accidentally turns into a product that can solve other peoples problems as well. While building a complex distributed application, I noticed that it was taking too long to code some things I needed, so I built a programming language to code it faster! This language has some special sauce though… it has distributed CRDT’s with libp2p mesh networking baked into the language itself.

Here’s some highlights…

1. English → Production Rust

Not pseudocode. Write literal English that compiles to working Rust with LLVM optimization. 1000+ tests passing.

2. Built-in P2P Mesh Networking

Listen on "/ip4/0.0.0.0/tcp/8080".

Connect to "/ip4/192.168.1.5/tcp/8080".

Sync counter on "game-room".

That's it. libp2p, QUIC transport, mDNS discovery, GossipSub pub/sub, all generated from plain English.

3. Native CRDT Library

Full conflict-free replicated data types:

- GCounter, PNCounter - distributed counters

- ORSet with configurable AddWins/RemoveWins bias

- RGA, YATA - sequence CRDTs for collaborative text editing

- Vector clocks, dot contexts, delta CRDTs

4. Distributed<T> is The Killer Type

Wrap any CRDT in Distributed<T> and get:

- Automatic journaling to disk (CRC32 checksums, auto-compaction at 1000 entries)

- Automatic GossipSub replication to all peers

- Unified flow: Local mutation → Journal → Network. Remote update → RAM → Journal.

- Survives restarts, offline nodes, network partitions.

One mount call. Automatic eventual consistency.

5. Go-Style Concurrency with Rust's Safety Guarantees

- TaskHandle<T> — spawnable async tasks with abort

- Pipe<T> — bounded channels (sender/receiver split)

- check_preemption() — cooperative yielding every 10ms for fairness

6. Formal Semantics (Not LLM Guessing)

- Neo-Davidsonian event decomposition with thematic roles

- Montague-style λ-calculus for compositional semantics

- DRS for cross-sentence anaphora resolution

- Parse forests returning all valid readings (up to 12)

- Garden path recovery via RAII backtracking

I hope it will help you all as much as it's been helping me! Happy Coding in 2026!