Stars
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.
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.
An example atproto application using ExpressJS and Typescript.
ATProto Feed Generator Starter Kit
releasing everyone's SSN and the hacks used to acquire them
A list of tools and clients available for the Bluesky platform
🗿 Mini jQuery alternative. Dependency-free animations. Locality of Behavior. Use one element or arrays transparently. Pairs with htmx. Vanilla querySelector() but better!
Working group for using React Compiler in production
Now that react compiler has been released, let's write an unofficial alternative version in 20 minutes.
web interface for labeling content in atproto / Bluesky
Workgroup for the New React Native Architecture