2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.

an experimental new programming language based on interaction nets

Cluster membership protocol with failure detection inspired by Cassandra and DynamoDB

3D engine with modern graphics

Finally, a shell for all seasons!

Rune is a programming language developed to test ideas for improving security and efficiency.

Waltz is a quorum-based distributed write-ahead log for replicating transactions

The System Initiative software

an adaptable text editor

Stream processing and management platform.

This library provides an implementation of the DBSP language for incremental streaming computations.

Benchmarks for queries over continuous data streams.

Design documents for distributed DBSP

River is an experimental assembly-like programming language.

High performance UI layout library in C.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Tektite DB

Maru - a tiny self-hosting lisp dialect

Various tasks solved via metaprogramming in Dotty

Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.

Formalization of DBSP

The Feldera Incremental Computation Engine

Fast persistent recoverable log and key-value store + cache, in C# and C++.

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

A post-modern modal text editor.

A course of building an LSM-Tree storage engine (database) in a week.

Multiplayer at the speed of light

Functional relational programming for Clojure(Script).