ECS-driven 2D and 3D physics engine for the Bevy game engine.

A widget library built on top of bevy_ui.

Microledger Specification - authentic data provider

A Rust implementation of the KERI protocol

Higher level tools for working with CSV data and files

Static analyzer and linter for Clojure code that sparks joy

Library to operate on a content-addressed graph of nodes with directed merkle-hash links

My attempt at writing an IDE for Clojure that turns your code into a DAG

A fast, immutable, distributed & compositional Datalog engine for everyone.

Key Event Receipt Infrastructure (KERI)

Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation

KERI Authorization for SSH

An open source identity/credential wallet built for grass roots efforts in multiple countries.

KERI implementation in RUST

Traits and implementations for content addressable storage

Bootstrapping LISP in a Boot Sector

Perkeep (née Camlistore) is your personal storage system for life: a way of storing, syncing, sharing, modelling and backing up content.

Human Programming Interface 🧑👽🤖

Import data from hypothes.is into Emacs

Taking interactive notes when watching videos or listening to audios in org-mode.

Clojure Desktop UI framework

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

A scrollable-tiling Wayland compositor.

Awesome list of resources about GNU Guix

A certain Guix channel / 某 Guix 頻道

A Social Annotation Tool Powered by Matrix