Lean 4 programming language and theorem prover

Combinatorial game library in Lean 4

Lean Theorem Prover MCP

A Lean companion to Analysis I

Experimental ATProto BFF Framework

plc key management app

gorkin it

Parcel React Server Components Examples

Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course

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

Formalization of "Analysis I" by Terence Tao

A Henkin-style completeness proof for the modal logic S5

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Natural Number Game

Discussions and proposals related to the main React Native project

@aquareum/atproto-oauth-client-react-native

Start a conversation next to any web page using your Bluesky account

Embed Bluesky (bsky) posts in your React application.

Unofficial Bluesky widget to render cute profile cards in your websites ^_^

Sample programs for playing with the Bluesky API.

A simplified JSON event stream for AT Proto

An example atproto application using ExpressJS and Typescript.

ATProto Feed Generator Starter Kit

releasing everyone's SSN and the hacks used to acquire them

Federated link aggregator