• 2
• 0
• 0

atproto

Social networking technology created by Bluesky

• 2
• 0
• 0

lpm

• 2
• 0
• 0

statusphere-react

a fork of the atproto "statusphere" demo that uses vite/react

• 2
• 0
• 0

leaflet

A tool for shared writing and social publishing

• 2
• 0
• 0

formalising-mathematics-notes

Course notes for Formalising Mathematics 2025

• 2
• 0
• 0

analysis-solutions

My solutions to Tao's Analysis I, formalized in Lean

• 2
• 0
• 0

lean-lsp-mcp

Lean Theorem Prover MCP

• 2
• 0
• 0

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

• 2
• 0
• 0

social-app

The Bluesky Social application for Web, iOS, and Android

• 2
• 0
• 0

react-navigation

Routing and navigation for your React Native apps

• 2
• 0
• 0

react-native-image-crop-picker

iOS/Android image picker with support for camera, video, configurable compression, multiple images and cropping

• 2
• 0
• 0

react-native-svg

SVG library for React Native, React Native Web, and plain React web projects.

• 2
• 0
• 0

react-native-reanimated

React Native's Animated library reimplemented

• 2
• 0
• 0

formatjs

The monorepo home to all of the FormatJS related libraries, most notably react-intl.

• 2
• 0
• 0

fastify-vite

Fastify plugin for Vite integration.

• 2
• 0
• 0

reanimated-repro-weird

• 2
• 0
• 0

rn-bug-loop

• 2
• 0
• 0

ssr-performance-showdown

Let's evaluate the performance of SSR libraries

• 3
• 0
• 0

ukraine-timemap

TimeMap instance for Civilian Harm in Ukraine

• 3
• 1
• 0

sandpack

A component toolkit for creating live-running code editing experiences, using the power of CodeSandbox.