SDK for creating whiteboards and canvas experiences on the web.

C++ library for value-oriented design using the unidirectional data-flow architecture — Redux for C++

The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture

Koka language compiler and interpreter

A new markup-based typesetting system that is powerful and easy to learn.

A Rust implementation of fractional indexing.

Virtual whiteboard for sketching hand-drawn like diagrams

lightweight platform-agnostic tools for declarative UI

A programming language to skip the things you have already computed

I can't believe it's not Desmos!

Experimental Terminal platform built on WebKit + node.js. Currently only for Mac and Windows, though the prototype works 90% in any WebKit browser.

GitHub repository containing highest quality Nix/NixOS content

The all-in-one Bevy 3D game template for desktop.

yakui is a declarative Rust UI library for games

A digital waveguide piano physical model with VST and command line interface.

An open source real-time piano engine and JUCE plugin based on physical modelling

Visual Studio Code debugging support for Qt QML language

A massively parallel, high-level programming language

Backport of .NET 2.0 - 3.5 to Windows 9x

System-wide colorscheming and typography for NixOS

Disable screensaver and auto suspend

Houyhnhnm Computing

Android application to analyze WiFi signals.

CoreAudio HAL object explorer

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

Better configuration for less

A build system for Nix

A small implementation of graded modal dependent type theory. A younger cousin to Granule.

Logos...?