Starred

monad-lang.org/monad

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

13 1
monad-lang.org/monad

The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project.

13 1
microcosm.blue/eat-rocks

Restore a rocks database from object storage

26 1
microcosm.blue/eat-rocks

Restore a rocks database from object storage

26 1
oppi.li/claude-code

source dump of claude code

50 2 1
oppi.li/claude-code

source dump of claude code

50 2 1
ngerakines.me/atproto-crates

87 4 2
ngerakines.me/atproto-crates

87 4 2
grain.social/grain

grain.social is a photo sharing platform built on atproto.

116 1 7 1
grain.social/grain

grain.social is a photo sharing platform built on atproto.

116 1 7 1
rocksky.app/rocksky

A decentralized music tracking and discovery platform built on AT Protocol 🎵

280 3 10
rocksky.app/rocksky

A decentralized music tracking and discovery platform built on AT Protocol 🎵

280 3 10
stream.place/streamplace

137 1
stream.place/streamplace

137 1
tangled.org/infra

79 1
tangled.org/infra

79 1
tangled.org/knot-docker

Community maintained Docker config for the knot server

178 4 3 5
tangled.org/knot-docker

Community maintained Docker config for the knot server

178 4 3 5
tangled.org/core

Monorepo for Tangled

1.7k 126 336 41
tangled.org/core

Monorepo for Tangled

1.7k 126 336 41
tsiry-sandratraina.com/rocksky-cli

13 1
tsiry-sandratraina.com/rocksky-cli

13 1