lightweight com.atproto.sync.listReposByCollection

Stitch any CI into Tangled

An example of a repo configured to deploy automatically to Netlify

Cooperative email for PDS operators

🐿️ Type safe SQL in Gleam

🐦‍⬛ Snapshot testing in Gleam

A Excalidraw fork with syncing to your Atmosphere account and iroh for sync

Bluesky app fork with some witchin' additions 💫

FluentCI SDK for PureScript

A collection of +180 reusable WebAssembly modules for building composable CI/CD pipelines with FluentCI

seL4 pager with proven memory isolation and frame reuse

SMT x86_64 TSO model checking and minimum fence synthesis

Verified pixel compiler for TempleOS in Isabelle/HOL

Verified branch relaxing assembler in Isabelle/HOL with provably minimal bytecode layouts

OCaml tooling for tracing Xen guest address translation

git credential helper to allow you to do http auth git actions

Check your hole in the ground. Bagend is a portability and backup readiness checker for atproto accounts.

official mirror of github while testing tangled.org features

Nix for humans

develop GPUI components in isolation

It's your PDS. It's Gleam.

Programmable CI/CD engine without Containers, written in Rust, built on top of Wasm and Nix

A GPU terminal emulator for Wayland and Windows on libghostty-vt, drawing with Vulkan, running a program on a pty or a serial port.

A Linux container environment where everything is mutable, undo is instant, and cross-machine replication is trivial.

A compose and configuration to run Tangled locally or on a private network

Embedded Scheme for the Rust Ecosystem

A knot based on walgit / s3 compare and swap that supports HA and Kubernetes

Build and run CI pipelines anywhere, consistently.

Personal Data Server (PDS) built with Elixir