A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

GNU/Linux software to (hopefully) give TAS tools to games

This tracks website development for Bedrock Linux

This tracks development for the things such as scripts and (defaults for) config files for Bedrock Linux

jekyll website for holochain.org

Ceptr.org web pages rendered with jekyll

DEPRECATED. The Holochain framework implemented in rust with a redux style internal state-model.

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Public repository for Vulkan Ecosystem issues

Blog for the gfx-rs project

Old issues repo for PMDK.